Collection of my flakes on nixpkgs
nix registry add NAME github:shnarazk/flakes
- cadical(1.5.3)
- cargo-instruments
- gratchk from https://www21.in.tum.de/~lammich/grat/gratchk-sml.tgz
- gratgen from https://www21.in.tum.de/~lammich/grat/gratgen.tgz
- kissat(4.0.4)
- lean-tui(0.0.9)
- monaspace(1.301)
- tree-sitter-cli(0.24.4)
And some my programs or customization:
- alacritty-head(0.14.0) from https://github.com/alacritty/alacritty
- bqnlsp(2023-05-07) cloned from https://git.sr.ht/~detegr/bqnlsp
- cadical from https://github.com/arminbiere/cadical
- cbqn-head(devel) w/ replxx
- emacs-head(29.0.92) with native compilation/tree-sitter from https://git.savannah.gnu.org/cgit/emacs.git
- fukuoka-c19.rs
- gex-head(0.3.8)
- julia-bin w/o tests
- kissat was merged into nixpkgs
- rust-parallel(1.18.1)
- uiua(0.0.5dev) the upstream provides flake.nix
- zellij-head(0.41.2) from https://github.com/zellij-org/zellij