bernied/nice-sat
Circuit to DIMACS CNF tool split from BAT
Public GitHub Catalog
Discovered Oct 3, 2026
bernied / go-daikon-box
[NOT FUNCTIONAL] A vagrant box to make it easy to run daikon (the dynamic invariant detector) against go code.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#27749236GitHub System ID
berniedOrganization / User
PublicVisibility
ActiveCatalog Status
More from bernied
bernied/sylvan
Implementation of multi-core (binary) decision diagrams
bernied/mutti
A card game based on permutations.
bernied/permgraph
Program to generate permutation graphs.