Blog

How to use CamlImages for an image processing in OCaml?

How to create a OCaml code template using Dune?

How to use dbuenzli/logs: A logging library in OCaml?

Is CO2 the real cause of the global warming

I created a bussproofs style proof tree renderer for HTML.

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

I created a package to allow SATySFi to have floating boxes at the bottom of pages.

日曜日に， コンピュータを用いて正しい証明を行う定理証明支援系 Lean の勉強会にオンラインで参加してきました．

Color math expressions in LaTeX

諸事情により，Disjoint-set の和の数学的な定義が欲しかった．