libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

easy access for morpho blue

Zig libraries for Lodestar

Download and manage zig compilers.

Lean Ethereum PQ devnet client implementation in C++

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

A cross-platform, safe, pure-Rust graphics API.

Minimal zkVM, targeting aggregation of hash-based signatures.

a protobuf 3 implementation for zig.

Ethereum p2p implementation in Zig

NextJS Blog with Notion

The AI Code Editor

An AI-powered collaborative editor for vibe-driven writing.

An all-in-one RNA-seq preprocessing pipeline for mRNA and lncRNA studies. From raw .fq files to count matrix with fastp, STAR, and featureCounts — automated, reproducible, and GRCh38-ready.

😎 A static blog using notion database

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.

ajtai commitment scheme in Zig

A EVM block proving backend in Cairo

Cryptography Educational Foundations

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another th…

Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between images/PDFs and LLMs. Supports 100+ languages.

A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.

ream: an Ethereum Lean client written in Rust

A collection of learning materials on the Beam chain and Ream client.