Here are some tools that I have productively used in the past and/or I am using them these days.
Programming Languages
- Coq
- OCaml
- Rust
- C++
- C
- Python
VCS/CI/CD
- git
- GitHub Actions
- Circle CI
Editors & Productivity
- vim
- emacs
- VS Code
- Grammarly
- Overleaf
Publishing
- LaTeX
- Typst
- hugo
Formal methods
- Coq
- K
Misc tools
- Nix
- GNU Make
- CMake
- Dune
- Menhir
- appimage tool
- Docker/Podman
- gcc, GNU as, GNU ld
OS
- NixOS
- Hyprland
To be learned
- Koka
- Iris
Long forgotten
- 8051 assembly
- Perl
- C#
- Gentoo Linux
- Fedora Linux
- autoconf/automake
- Travis CI
- subversion
- blackbox/fluxbox/openbox