Renoir42

Systems Engineering · Low-Latency · Post-Quantum · Blockchain

Recent OSS Projects

Thetis26 C++20

Lock-free/wait-free data structures, formally verified

379M ops/sec
Seal DAO Rust

Post-quantum blockchain with native SQL, on-chain DEX

804 tests
gpu-backtest Rust / CUDA

GPU-accelerated HFT backtester with Aria language for fast strategy development

49K events/sec
notbbg Go / C++

Real-time market data terminal, PQ encrypted

17 feed adapters
Sibelius C++ · closed source

Derivatives pricing with Aria payoff language: Greeks, PDE solvers, deep hedging

rust-secure-memory Rust

Secure memory: guard pages, mlock, encrypted enclaves, post-quantum KEM
numerical-algorithms

Experiments with the formalization of numerical algorithms

Stack

C++20 Rust Go Python CUDA TLA+ Post-Quantum

Coming Soon

Software Licenses — commercial licensing for select projects. Stay tuned.