hgoes/fac
The fast aiger checker
Public GitHub Catalog
Discovered Sep 24, 2026
hgoes / context-common
A support library for the projects context-annotator and context-collector
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.
#709378GitHub System ID
hgoesOrganization / User
PublicVisibility
ActiveCatalog Status
More from hgoes
hgoes/bindings-llvm
A low level binding to the C++ API of LLVM for Haskell
hgoes/nbis
A SMT based LLVM code checker
hgoes/language-nusmv
Haskell parser for the NuSMV input language