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