Works
Lapisla
A proof assistant, an ecosystem to distribute and reuse proofs, and a platform to share proofs with others
It is focused on make formal proofs easy to write and share
deployed on lapisla.net
Blog post (Japanese): 冬ハッカソンで定理証明支援系 「lapisla-prover」(and more !) を開発しました！ | 東京科学大学デジタル創作同好会traP https://trap.jp/post/2478/
git-hs
A toy git implementetaion written in Haskell
Not fully implemeted yet
zer0-star.dev
This website
Written in PureScript with Jelly
nix-home
my home-manager setup