{ pkgs, lib, config, inputs, ... }:
{
  home.stateVersion = "23.11";
  imports = [
    ./../common/default.nix
  ];

  home.activation = {
    trampolineApps = let
      mac-app-util = inputs.mac-app-util.packages.${pkgs.stdenv.system}.default;
    in lib.hm.dag.entryAfter [ "writeBoundary" ] ''
      fromDir="$HOME/Applications/Home Manager Apps"
      toDir="$HOME/Applications/Home Manager Trampolines"
      ${mac-app-util}/bin/mac-app-util sync-trampolines "$fromDir" "$toDir"
    '';
  };

  home.packages = with pkgs; [ 
    zsh
    oh-my-zsh
    coq
    openvpn
    ghc
    haskell-language-server
    cabal-install
    haskellPackages.alex
    haskellPackages.happy
    python3
    python3Packages.pygments
    nodejs_20
    iterm2
    (agda.withPackages [ 
      agdaPackages.standard-library
      agdaPackages.agda-categories
    ])
    texlive.combined.scheme-full
    pandoc
    gh
    #yubico-pam
    #yubikey-manager
    # programs for emacs
    emacs
    fd
    ripgrep
    gnugrep
    nixfmt
    shellcheck
    fontconfig
    coreutils
    coreutils-prefixed
  ];

  programs.home-manager.enable = true;
  programs.kitty = {
    enable = true;
    font.name = "Berkeley Mono";

  };
  programs.zsh = {
    enable = true;
    shellAliases = {
      code = "codium";
    };
    oh-my-zsh = {
      enable = true;
      plugins = [ "git" ];
      theme = "robbyrussell";
    };
    initExtra = ''
      export PATH="/opt/homebrew/bin:$PATH"
    '';
  };
}