Mathnerd314/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Public GitHub Catalog
Discovered Oct 1, 2026
Mathnerd314 / nix
Nix, the purely functional package manager
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#22257754GitHub System ID
Mathnerd314Organization / User
PublicVisibility
ActiveCatalog Status
More from Mathnerd314
Mathnerd314/systemd
Systemd for NixOS
Mathnerd314/nixpkgs
Nix Packages collection
Mathnerd314/stylish-haskell
Haskell code prettifier