Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
categories
applications
science
programming
categories
applications/science/programming
Showing entries 1-1 out of 1.
fdr
Nix package
CSP refinement checker
Previous
1
Next