emc2/enumeration
Library for implementing enumeration procedures for datatypes
Public GitHub Catalog
Discovered Sep 27, 2026
emc2 / state-space-model
Modeling and proofs about the state space construction in Coq
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.
#9676721GitHub System ID
emc2Organization / User
PublicVisibility
ActiveCatalog Status
More from emc2
emc2/test-utils
Testing utilities for Haskell
emc2/arith-encode
Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
emc2/HUnit-Plus
A test framework expanding on the HUnit Haskell testing package