mdempsky/stp
Simple Theorem Prover.
Public GitHub Catalog
Discovered Oct 7, 2026
mdempsky / gdb
Go GDB/MI interface
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.
#35242108GitHub System ID
mdempskyOrganization / User
PublicVisibility
ActiveCatalog Status
More from mdempsky
mdempsky/smcd3g
Go packages for working with SMC SMCD3G cable modems
mdempsky/libopenssh
turn openssh into a library
mdempsky/FizzBuzzEnterpriseEdition
FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by a serious businessman for serious business purposes.