mcmtroffaes/nixpkgs
Nix Packages collection
Public GitHub Catalog
Discovered Oct 1, 2026
mcmtroffaes / improb-redux
Library for imprecise probabilities with focus on simplicity.
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.
#22010253GitHub System ID
mcmtroffaesOrganization / User
PublicVisibility
ActiveCatalog Status
More from mcmtroffaes
mcmtroffaes/AgdaTutorial
Git fork of http://hub.darcs.net/divip/AgdaTutorial
mcmtroffaes/regex-pcre-builtin
The PCRE backend to accompany regex-base, with bundled code from www.pcre.org
mcmtroffaes/agda-proofs
Public repository.