A hardware hybrid scheduling tensor engine. Improves performace by 35% for medium workload compared to pure GPU.

A Lean 4 implementation of the Ethereum consensus specification for the Fulu and Gloas forks.

A Visual Beginner friendly guide to gloas

C implementation of Lean consensus for post-quantum Ethereum.

Commonware Library Primitives and Examples

Open-source Rust framework for building event-driven live-trading & backtesting systems

High frequency trading (HFT) framework built for futures using machine learning and deep learning techniques

A curated list of awesome libraries, packages, strategies, books, blogs, tutorials for systematic trading.

A curated list of awesome algorithmic trading frameworks, libraries, software and resources

Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf

RISC-V prover system for ZKsync OS

The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!

A pqSNARK with lightweight proofs, powered by the Whir PCS.

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

A verifiable supercomputer

A beautiful stack trace pretty printer for C++

C++ implementation of the Ethereum protocol

The Spire Based Stack

Linea Sequencer Implementation

📚 Learn to write an embedded OS in Rust 🦀

Source code for the book Real-Time C++, by Christopher Kormanyos

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

An implementation of Shazam's song recognition algorithm.

Production-tested AI infrastructure tools for efficient AGI development and community-driven innovation

Nakamoto Coefficient for different blockchains to understand levels of decentralization

A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

Mesh eXchange library.

A Rust implementation of Ethereum Binary Tree (EIP-7864)