bennofs/coq-mapping-database
Verified Mapping Database model in Coq based on AVL trees
Public GitHub Catalog
Discovered Oct 1, 2026
bennofs / haskell-src-meta
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
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.
#21976069GitHub System ID
bennofsOrganization / User
PublicVisibility
ActiveCatalog Status
More from bennofs
bennofs/software-foundations
Solutions to the book "Software Foundations": http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
bennofs/quickcheck
Automatic testing of Haskell programs.
bennofs/nix-script
A shebang for running scripts inside nix-shell with defined dependencies