Programming Languages and Tools

×

Home

Curriculum Vitae

Public Keys

GitHub

Books I read

SHA 256 Calculator

PLs & Tools

Blog

RSS Feed

Publications

Archive

Impressum

• Languages
  • C/C++
  • Rust
  • Go
  • Common Lisp
  • Python
  • Ruby
  • R
  • JavaScript
  • SQL
  • Prolog
  • Erlang/OTP
  • Haskell
  • OCaml
  • Idris
  • Agda
  • Coq
  • Java
• Tools
  • vi
  • emacs
  • git
  • GNU make
  • sed, awk, etc.
  • gnuplot
  • tmux
  • GNU/Linux
  • FreeBSD
  • Docker