Starred repositories
Access historical tick data, order book updates, and oracle feed history across emerging venues like Hyperliquid and Lighter, optimized for quantitative workflows.
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Process manager for Procfile-based applications and tmux
Rust libraries and tools to interact with the Framework Computer systems
Research implementation of the NEDL cointegration pair trading notebook adapted for Binance USDT perpetual futures data.
a deterministic cointegration + Kalman z-score pair-trading backtester for crypto perps. Weekly Engle-Granger/Johansen formation, VaR sizing, real funding/costs, event-driven engine, and CPCV + syn…
A curated list of resources about post-quantum cryptography.
Blazing-fast LLM inference in pure Rust. No PyTorch and Python runtime.
A GameCube/Wii emulator and debugger written in Rust.
Portfolio optimization and back-testing.
AI-native framework for building trading systems with polyglot bindings.
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign languag…
A thread-per-core async Rust runtime with IOCP/io_uring/polling.
Modern, fast and obfuscated VPN protocol
Impossibility theorems for self-seeding analytic Sheffer operators, responding to Odrzywolek (2026)
Kernel-mode Paravirtualization in Ring 2, LLVM based linker, and some other things!
Awesome links and information about memory allocation
VecMap<K, V>: The Map API for Vec<(K, V)> (Rust)
A thread-per-core Linux io_uring async runtime for Rust optimized for latency.