blob: c86c1e20e2aaf8cc7dbc8b2cf7adc41f8982ff4c (
plain)
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
{ 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
# 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
# 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 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 inputs.deploy-rs.defaultPackage.${system}
#haskellPackages.nix-serve-ng
nix-doc nix-output-monitor
direnv
# isabelle
(isabelle.mkEnv "isabelle-env" "fish")
isabat
(import inputs.traveltext { inherit pkgs; })
];
}
|
