Lists (11)
Stars
Post-quantum RV64I zkVM from standard hashes (SHA-3 + BLAKE3) — the complete Construction-3 protocol in Rust: Virtual Spartan, BinaryTwist/Shout, BinaryRouter, MosaicPCS, ring switching.
Workstream is governed contribution infrastructure for coordinating, verifying, and recording work performed by humans, AI agents, or both. It transforms project-defined tasks, immutable submission…
Real-time animated line chart for React.
The visual feedback tool for agents.
A complete alternative for Overleaf with VSCode + Web + Git Integration + Copilot + Grammar & Spell Checker + Live Collaboration Support. Based on GitHub Codespace and Dev container.
A Flutter plugin for blocking apps using iOS Screen Time API (Family Controls, ManagedSettings, DeviceActivity).
Verified Optimizing Compiler for Cryptographic Primitives
From Zero to QED: An informal introduction to formality with Lean 4
A web-based collaborative LaTeX editor
Nethermind Privacy Engineering team's implementation of private payments for the Stellar network
Create book from markdown files. Like Gitbook but implemented in Rust
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
An open-source AI coding agent that lives in your terminal.
Open Source Alternative to Vercel, Netlify and Heroku.
Human-in-the-loop coding harness with transcript provenance
AGENTS.md — a simple, open format for guiding coding agents
A curated list of zkVM, zero-knowledge virtual machine
Commonware Library Primitives and Examples
A practically efficient hash-based succinct argument that bypasses the arithmetization overheads
Benchmarks for rust serialization frameworks
Implementation of the Google Zero-Knowledge library for Identity Protocols.
A curated list of awesome projects using STWO.