Hi!

Welcome to my little corner of the Internet.

You will find it dusty more often than not, but it’s been there for quite a while now, and its contents might be of interest for you. If that is the case, I’m thrilled!

Latest Posts

The Free and Open Source Software Projects This Website is Built Upon in June 2023 (June 23, 2023)
Extensible Records in OCaml Using dmap (June 20, 2023)
★ The Chaotic Debut of My Software Projects (May 29, 2023)
What happened since December 2022? (May 18, 2023, )
Neovim, OCaml Interfaces, Tree-Sitter and LSP (May 1, 2023)

See more →

Projects

Here is a list of the free software projects I have most enjoyed writing, and that made an impact on my daily life.

Spatial Shell (MPL-2.0) enables a dynamic tiling management a la Material Shell and PaperWM.
keyr (GPL-3) lets you know how many keystrokes you have made since you have started using it.

Additionally, you might be interested in the following software projects. I don’t work on them actively anymore, but they reach a state where they could be useful to you, and they work pretty well.

coqffi (MIT) generates the necessary boilerplate to use OCaml functions in a Coq development, and configure the Coq extraction mechanism accordingly.
ogam (MPL-2.0) is a domain-specific markup language intended to free fiction writers from the pain to enforce typographic rules themselves.