home/packages.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

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

let
    naersk = pkgs.callPackage inputs.naersk {};
    extras = {
        almanac = naersk.buildPackage inputs.almanac;
        showrt = naersk.buildPackage {
            src = inputs.showrt;
            buildInputs = [ pkgs.protobuf ];
        };
    };
    isabelle = import "${inputs.playground.outPath}/isabelle-nix-fhsenv" { inherit pkgs; };
in
{
  home.packages = with pkgs; [
    inputs.emacs-overlay.packages.x86_64-linux.emacsPgtk
    emacs-all-the-icons-fonts nerdfonts

    # internet apps & clients
    firefox keepassxc chromium mumble lynx
    openconnect matterhorn
    # 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
    texlive.combined.scheme-full xournal pandoc zathura pdfpc
    poppler_utils
    # general cli utils
    extras.almanac libnotify grim slurp wl-clipboard extras.showrt
    # graphical utils
    kitty baobab
    # things for emacs
    sqlite brightnessctl scrot playerctl tlp
    # haskell & co
    haskell.packages.ghc8107.ghc cabal-install stack
    haskell.packages.ghc8107.haskell-language-server
    haskellPackages.hoogle haskellPackages.stylish-haskell
    # other functional things
    racket dhall lean dune_2 ocamlPackages.utop ocamlPackages.ocp-indent
    ocamlPackages.merlin ocaml gauche
    (agda.withPackages (p: [ p.standard-library p.cubical ]))
    # html, js & co
    jq html-tidy nodePackages.stylelint nodePackages.js-beautify zola
    libxml2 fq
    # purescript
    spago purescript # nodePackages.purescript-language-server nodejs
    # rust
    cargo rustc rust-analyzer rustfmt
    # go
    go gopls godef gore gocode gotests gomodifytags
    # others
    gcc cachix julia_16-bin python39
    # nix things
    nixfmt niv inputs.deploy-rs.defaultPackage.${system}
    haskellPackages.nix-serve-ng
    # other things
    mercurial
    # isabelle
    isabelle.isabelle2022 (isabelle.mkEnv "isabelle-env" "fish")
    (import inputs.isabelle-utils {inherit pkgs naersk; }).isabat

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