krasin/opencamlib
open source computer aided manufacturing algorithms library
Public GitHub Catalog
Discovered Oct 1, 2026
krasin / CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
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.
#20314114GitHub System ID
krasinOrganization / User
PublicVisibility
ActiveCatalog Status
More from krasin
krasin/autocut
Automatic CNC toolpath generator for 2.5D parts
krasin/virtme
An easy way to virtualize the running system
krasin/g2
TinyG2 - The Next Generation