svisser/tseitin
Command-line tool written in Go implementing the Tseitin transformation
Public GitHub Catalog
Discovered Oct 1, 2026
svisser / python-guide
Python best practices guidebook, written for Humans.
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.
#20162535GitHub System ID
svisserOrganization / User
PublicVisibility
ActiveCatalog Status
More from svisser
svisser/working-with-go
A set of example golang code to start learning Go
svisser/genxword
Crossword generator written in Python.
svisser/crosswords
Crosswords help in the terminal