• haskell
• math
• lean
• nix
• hardware