Technology stack I use

Here are some tools that I have productively used in the past and/or I am using them these days. Preferred tools are in bold.

Programming Languages

• Rocq
• OCaml
• Rust
• C++
• C
• Python

VCS/CI/CD

• SourceHut (git, build, site)
• GitHub (git, actions, pages)
• git

Editors & Productivity

• emacs
• vim
• Overleaf

Publishing

• Typst
• LaTeX
• hugo

Misc tools

• Nix
• GNU Make
• CMake
• Dune
• Menhir
• Docker/Podman
• gcc, GNU as, GNU ld
• clang

OS

• NixOS
• Hyprland

Matters of the future

• Koka
• Iris

Matters of the past

• 8051 assembly
• Perl
• C#
• Gentoo Linux
• Fedora Linux
• Ubuntu Linux
• autoconf/automake
• Travis CI
• subversion
• blackbox/fluxbox/openbox
• appimage tool
• Circle CI
• VS Code
• Grammarly
• K