Renoir42

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

Open Source 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
fpga-meta-compiler Rust / VHDL

FPGA meta-compiler: from DSL to silicon with formal proofs. 10 backends (Verilog, VHDL, CUDA, Metal, Lean 4)

50 tests
rust-secure-memory Rust

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

Experiments with the formalization of numerical algorithms

Commercial Projects

Price Master C++ · closed source

Derivatives pricing with Aria payoff language: Greeks, PDE solvers. Deep hedging and XVA in progress.

Paper Master coming soon

notbbg PRO, gpu-backtest PRO and timeseries tools

Stack

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

Coming Soon

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