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