GitHub - gleachkr/nix-tools: Some simple nix derivations for tools I might want to use

Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
alectryon		alectryon
apalache		apalache
ebmc		ebmc
genmc		genmc
kani		kani
quint-lsp		quint-lsp
quint		quint
souffle		souffle
templates		templates
vampire		vampire
vitejs		vitejs
flake.lock		flake.lock
flake.nix		flake.nix