kuebler/jssql
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
kuebler / enum
Existential boolean QE and projected model counting using cardinality constraints and a SAT solver
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.
#3315945GitHub System ID
kueblerOrganization / User
PublicVisibility
ActiveCatalog Status
More from kuebler
kuebler/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes
kuebler/linkedlist
Public repository.
kuebler/godnf
a dnf conversion util written in go