Starred repositories
amiller / Dealproof
Forked from kkoci/Dealproof**TEE-based AI agent negotiation protocol. Two Claude agents negotiate private data access inside a Confidential VM (dstack/Intel TDX), with smart contract payment release on cryptographic agreemen…
Same as LIGHTER_Market_Making but in Rust. Advantage is much lower CPU and RAM usage compared to python.
Automated two-sided market maker for Lighter perpetual futures. Spread width is driven by realized volatility, and an order-book imbalance (OBI) signal computed from Binance's order book serves as …
Automatic function type trait extraction in Rust
AI-powered bug bounty hunting from your terminal - recon, 20 vuln classes, autonomous hunting, and report generation. All inside Claude Code.
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.