Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
categories
applications
science
programming
categories
applications/science/programming
Showing entries 1-3 out of 3.
fdr
Nix package
CSP refinement checker
groove
Nix package
GRaphs for Object-Oriented VErification
plm
Nix package
Free cross-platform programming exerciser
Previous
1
Next