{ config, lib, pkgs, inputs, system, craneLib, ... }:

let
    isabelle = import "${inputs.playground.outPath}/isabelle-nix-fhsenv" { inherit pkgs; };
in
{
  home.packages = with pkgs; [
    # inputs.emacs-overlay.packages.x86_64-linux.emacsPgtk
    emacs29-pgtk
    emacs-all-the-icons-fonts nerdfonts

    # internet apps & clients
    firefox keepassxc mumble lynx thunderbird offpunk
    openconnect matterhorn tdesktop monolith magic-wormhole-rs
    dino
    # graphics & audio
    audacity blender darktable kdenlive moc ffmpeg-full
    gimp-with-plugins inkscape krita meshlab pavucontrol moc
    gst_all_1.gstreamer vimiv-qt
    # LaTeX & documents
    xournal pandoc zathura pdfpc
    poppler_utils typst rustex
    (texlive.combine {
      inherit (texlive) scheme-full;
      pkgFilter = pkg: lib.elem pkg.tlType [ "run" "bin" "doc" ];
    })
    # general cli utils
    almanac libnotify grim slurp wl-clipboard showrt
    kijetesantakaluotokieni mpc_cli duf dufs progress hledger
    wineWowPackages.full sops xdg-utils exiftool
    mercurial darcs git-annex-remote-remarkable2
    rlwrap
    # graphical utils
    kitty baobab
    # gnss things
    gpsd galmon-full
    # transport things
    transport_validator
    # things for emacs
    sqlite brightnessctl scrot playerctl tlp (aspellWithDicts (ds: [ds.en]))
    emacs.pkgs.mu4e
    # haskell & co
    ghc cabal-install stack
    haskell-language-server
    haskellPackages.hoogle haskellPackages.stylish-haskell
    # other functional things
    racket dhall lean4 dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
    ocamlPackages.merlin ocaml gauche
    (agda.withPackages (p: [ p.standard-library p.cubical ]))
    (twelf.overrideAttrs (old:  {
        src = fetchFromGitHub {
            owner = "k4rtik";
            repo = "twelf";
            rev = "c1bec0d0b9fa506e36bb364b1765191b159e6c4c";
            hash = "sha256-sh/yMlCvMMq6GBqAKO+V0Bcyp38zB7I/3H8a0fxqOos=";
        };
    }))
    # html, js & co
    jq ijq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
    libxml2 fq htmlq
    # purescript
    #spago purescript # nodePackages.purescript-language-server nodejs
    # rust
    #cargo rustc
    rust-bin.stable.latest.minimal
    rust-analyzer rustfmt
    # go
    go gopls godef gore gocode gotests gomodifytags
    # C/C++
    clang clang-tools rtags irony-server
    # others
    julia python39 inweb
    # nix things
    nixfmt niv
    #haskellPackages.nix-serve-ng
    nix-doc nix-output-monitor
    direnv
    # isabelle
    (isabelle.mkEnv "isabelle-env" "fish")
    isabat

    (import inputs.traveltext { inherit pkgs; })
  ];
}