jwaldmann/qbf
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
jwaldmann / standalone-haddock
Generate standalone haddock documentation for a set of packages
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.
#26448680GitHub System ID
jwaldmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from jwaldmann
jwaldmann/poly
Public repository.
jwaldmann/plain-postproc
starexec postprocessor for non-certified categories
jwaldmann/haskell-explicit-determinant
Public repository.