Explore projects

My works of mathematical proof using functional languages

Answers for problems on "Categories for the Working Mathematician" by S. Mac Lane

sakusaku sakubunnnn

does_nothing : A library that does nothing

素数を音符にするプログラム群。

Calling native syscalls inside Wine

OpenStreetMap 高低差を考えた最短（？）経路問題ソルバー

My studies on mathematics, science, etc. Origami is a lot of fun!

Memgame iOS react native

homomorphic payment contract & frontend in Ethereum