adi's starred repositories
carbon-lang
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
tigerbeetle
The financial transactions database designed for mission critical safety and performance.
concurrencpp
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
cloudstack
Apache CloudStack is an opensource Infrastructure as a Service (IaaS) cloud computing platform
riscv-boom
SonicBOOM: The Berkeley Out-of-Order Machine
dockerfilelint
An opinionated Dockerfile linter.
zig-okredis
Zero-allocation Client for Redis 6+
rust-landlock
A Rust library for the Linux Landlock sandboxing feature