awsdac
Design
CLI tool for drawing AWS architecture
4.1K downloads
Details
babeld
Design
Loop-avoiding distance-vector routing protocol
4.7K downloads
Details
beanstalkd
Design
Generic work queue originally designed to reduce web latency
390 downloads
Details
bitwuzla
Design
SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
2.3K downloads
Details
cadaver
Design
Command-line client for DAV
8.3K downloads
Details
caddy
Design
Powerful, enterprise-ready, open source web server with automatic HTTPS
7.9K downloads
Details
cadence
Design
Resource-oriented smart contract programming language
3.7K downloads
Details
cadence-workflow
Design
Distributed, scalable, durable, and highly available orchestration engine
632 downloads
Details
cadical
Design
Clean and efficient state-of-the-art SAT solver
7.9K downloads
Details
cadubi
Design
Creative ASCII drawing utility
8.5K downloads
Details
cascadia
Design
Go cascadia package command-line CSS selector
3.9K downloads
Details
coacd
Design
Approximate convex decomposition for 3D meshes with collision-aware concavity
5.9K downloads
Details