nixos: init vanadium by cloning carbon

nix/homeModules/named/vanadium/dev.nix

@@ -0,0 +1,109 @@
+{ pkgs, config, ... }:
+
+let
+  inherit (pkgs) myPkgs;
+in
+
+{
+  home.packages = [
+    pkgs.gnumake
+    pkgs.cmake
+
+    pkgs.iconv
+    pkgs.sqlite
+
+    # pkgs.jetbrains.idea-community
+
+    # # keyboard
+    # pkgs.clang-tools
+    # pkgs.qmk
+    # pkgs.wally-cli
+
+    # golang
+    pkgs.go
+    pkgs.golangci-lint
+    pkgs.gofumpt
+
+    # typescript
+    pkgs.typescript
+    pkgs.nodejs_20
+    pkgs.vscode-langservers-extracted # HTML/CSS/JSON/ESLint
+    pkgs.nodePackages."@angular/cli" # module WE
+
+    # rust
+    pkgs.cargo
+    pkgs.rustc
+    pkgs.rustfmt
+
+    # java
+    pkgs.maven
+
+    # scala
+    (pkgs.sbt.override { jre = config.programs.java.package; })
+    (pkgs.scala.override { jre = config.programs.java.package; })
+    (pkgs.metals.override { jre = config.programs.java.package; })
+    (pkgs.ammonite.override { jre = config.programs.java.package; })
+
+    # isabelle
+    pkgs.isabelle # module ACF
+
+    # preview markdown
+    pkgs.python3Packages.grip
+
+    # typst
+    myPkgs.typst-mutilate
+
+    # xmonad development/configuartion
+    pkgs.cabal-install
+    (pkgs.haskellPackages.ghcWithPackages (self: [
+      self.xmonad-contrib
+      self.xmonad-extras
+    ]))
+    pkgs.haskell-language-server
+  ];
+
+  programs.neovim.extraPackages = [
+    # fish
+    pkgs.fish-lsp
+
+    # golang
+    pkgs.gopls
+    pkgs.golangci-lint-langserver
+
+    # typescript
+    pkgs.nodePackages.typescript-language-server
+
+    # rust
+    pkgs.rust-analyzer
+
+    # java
+    pkgs.jdt-language-server
+  ];
+
+  programs.git.signing.signByDefault = true;
+
+  programs.vscode = {
+    enable = true;
+    extensions = [
+      (pkgs.vscode-extensions.redhat.java.overrideAttrs { jdk = config.programs.java.package; })
+      pkgs.vscode-extensions.vscjava.vscode-java-pack
+    ];
+  };
+
+  programs.go = {
+    enable = true;
+    goPath = ".go";
+  };
+
+  programs.java = {
+    enable = true;
+    package = pkgs.jdk17.override { enableJavaFX = true; };
+  };
+
+  programs.git.maintenance = {
+    enable = true;
+    repositories = [
+      "/home/leana/r/leana8959/nixpkgs"
+    ];
+  };
+}