kopptr/sharpSAT
The #SAT solver sharpSAT
Public GitHub Catalog
Discovered Sep 24, 2026
kopptr / LaTeX-talk
Resources for giving a LaTeX workshop for beginners
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.
#2521162GitHub System ID
kopptrOrganization / User
PublicVisibility
ActiveCatalog Status
More from kopptr
kopptr/GTCluster_Job_Scheduler
Jamie Davis and Tim Kopp's job scheduling utility. Allows you to convert a set of nodes into a rudimentary cluster
kopptr/goWalkSAT
A Go implementation of the WalkSAT algorithm
kopptr/webots-audio-python
Public repository.