Lists (14)
Stars
Verified arithmetic circuit simplifier: Lean 4 proof + Rust FFI
Robust and fast topic models with sentence-transformers.
An agentic research orchestrator for Go that is optimized to use free search & low-cost limited context window llms.
Fast and accurate AI powered file content types detection
UlamAI is an open-source Lean theorem prover and formalizer.
Garry's Opinionated OpenClaw/Hermes Agent Brain
Age Verification ZKP ICAO for Android
Solana IMprovement Documents (SIMDs) describe proposed and accepted changes to the Solana protocol.
Venus: Cysic's efforts on zkVM based on ZisK with customized hardware optimizations
MAD: The first work to explore Multi-Agent Debate with Large Language Models :D
A static analysis tool for rust, anchor, stylus, and solidity smart contracts.
Client library that facilitates interaction with the Miden blockchain
Use Codex from Claude Code to review code or delegate tasks.
Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studio.
Official repository for the Security Frameworks by SEAL. Currently under development, not a release.
The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.
TypeScript multi-agent orchestration engine — one runTeam() call from goal to result. Multi-model teams, auto task decomposition, parallel execution. 3 runtime dependencies.
Source code for "Building Cryptographic Proofs from Hash Functions"
Collect precompile call data from Ethereum mainnet for gas repricing analysis. Supports Geth and Reth.
experimental implementation of selection Post-Quantuum precompiles
A fast, modular, optimized ZKEVM core written in C++