js git c# python linux bash scala godot rust haskell nix ts agda nixos fp