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