Stars
Distributed Async Await — Durable Executions, Dead Simple
A no-code or framework to build blazing fast EVM indexers - built in rust.
🔥🔥🔥 Open-source Jira, Linear, Monday, and ClickUp alternative. Plane is a modern project management platform to manage tasks, sprints, docs, and triage.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Open Source Alternative to Vercel, Netlify and Heroku.
Ministack: Free, open-source local AWS emulator - 60+ services, Terraform compatible, real databases. Free forever. MIT licensed.
Fastest, smallest, and fully autonomous AI assistant infrastructure written in Zig
Ultra-lightweight (600KB) Face Anti-Spoofing classifier. Optimized MiniFASNetV2-SE implementation validated on 70k+ samples with ~98% accuracy for edge devices.
Implementation of the Google Zero-Knowledge library for Identity Protocols.
STUMPY is a powerful and scalable Python library for modern time series analysis
A performant and modular zkVM framework built for customization and extensibility.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reusability
WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
The Python implementation of the libp2p networking stack 🐍 [under development]
A Github Action to report the code coverage from LCOV files
A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.
A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes
🦄 A curated list of privacy & security-focused software and services
Performance and security acceleration for zkVMs.
🥑 Language focused docker images, minus the operating system.
A markup-based typesetting system that is powerful and easy to learn.