Stars
Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.
Monorepo for OP Stack Types, Components, and Services built in Rust.
OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/
Diamond iO implementation https://eprint.iacr.org/2025/236
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.
A tool for single Ethereum archival block state proofs.
Entropy Based Sampling and Parallel CoT Decoding
Minimal reproduction of DeepSeek R1-Zero
Solidity compiler for Polkadot, targetting PolkaVM in pallet-revive
Formally Verified Arguments of Knowledge in Lean
Vim plugin for LLM-assisted code/text completion
An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.
JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
A performant and modular zkVM framework built for customization and extensibility.
Browser extension which gives you more control over your Twitter timeline and adds missing features and UI improvements - for desktop and mobile
React Native audio recording module for two-way audio
Instant voice cloning by MIT and MyShell. Audio foundation model.
An Open Source text-to-speech system built by inverting Whisper.
Suno AI's Bark model in C/C++ for fast text-to-speech generation
Implementation of Natural Speech 2, Zero-shot Speech and Singing Synthesizer, in Pytorch
🔊 Text-Prompted Generative Audio Model
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with…
Whisper realtime streaming for long speech-to-text transcription and translation
[ICLR 2024] Efficient Streaming Language Models with Attention Sinks