Systems
stratum: preemptive SMP x86-64 kernel: UEFI loader, 4-level paging COW, virtio net/blk, journaled StrataFS
lockstep: C++20 exchange engine: fixed-pool price-time book, risk/STP, dual UDP feeds, CRC32C WAL and snapshot recovery
crucible: deterministic .NET simulation runtime, virtual time, fault injection, schedule replay
splice: inspectable POSIX shell in C++20: quote-preserving AST, descriptor plan, process groups, PTY runtime
quartz: deterministic physical-layer lab in D: rational clocks, RRC filtering, cyclic OFDM, Alamouti MIMO MMSE
Compilers
cinder: C17 compiler in pure C: SSA IR, register allocator, direct x86-64 ELF64 emitter, no assembler
glyph: functional language in OCaml: Hindley-Milner typing, Maranget decision trees, register VM, Cheney GC
Data
vectortick: C++20 columnar market-data engine with SSA IR, vector VM, and custom x86-64/AArch64 JIT
prism: incremental semiring dataflow and Datalog engine in Scala 3: multidimensional lattices, Magic Sets, e-graphs
tessera: multi-model storage engine in Zig: leveled LSM-tree, SIMD HNSW index, dynamic CSR graph, MVCC
Architecture
quasar: synthesizable SystemVerilog matching engine: BRAM book, one-cycle BBO, O(1) cancel, AXI-Stream/CDC
cathode: CPU-only renderer, hand NEON in the hot path, full NTSC/CRT signal chain in software, no GPU
planck: cycle-accurate out-of-order RV32IM core, cache hierarchy, and assembler in pure x86-64 assembly
Infrastructure
vibe: distributed messenger, custom Java NIO TLS reactor, binary wire protocol, Raft quorum commit, segmented WAL
helix: leaderless transaction kernel in Elixir: EPaxos, Block-STM, Merkle proofs, delta-CRDTs
meridian: distributed execution fabric in pure Go: Multi-Raft, MVCC/ART, Wound-Wait 2PC, deterministic replay, vectorized SQL
Machine Learning
noema: neural theorem prover for Lean 4, 24-block Transformer, PageRank premise retrieval, AND/OR hypergraphs, Merkle audit
nocturne: neural population dynamics; Neural ODE VLDM, axial attention, Lie RoPE, sub-5ms causal streaming
kinesis: epistemic world-model control lab; symplectic leapfrog RSSM, disagreement MPPI, polyhedral CBF shield