maxgillett
Follow
Stars
cecli-dev / cecli
Forked from Aider-AI/aidercecli - a neat cli assistant
Exa MCP for web search and web crawling!
obsidian extension to push and pull notes from hackmd conveniently
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. Stored as pure Python. 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.
A multi-node Ethereum consensus-layer validator client that improves reliability and performance by connecting to multiple beacon nodes using pluggable strategies to perform validator duties.
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