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 Chaotic Debut of My Typical Software Project (May 29, 2023)
What happened since December 2022? (May 18, 2023, )
Neovim, OCaml Interfaces, Tree-Sitter and LSP (May 1, 2023)
Spatial Shell: Call For Testers (April 27, 2023)
Patch Dependencies for Stacked Git (January 26, 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.