polylog-cs / zero-knowledge-proofsLinks
☆16Updated 2 months ago
Alternatives and similar repositories for zero-knowledge-proofs
Users that are interested in zero-knowledge-proofs are comparing it to the libraries listed below
Sorting:
- CompChomper is a framework for measuring how LLMs perform at code completion.☆19Updated 9 months ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆138Updated 2 months ago
- ☆38Updated 4 months ago
- My name is Ozymandias, King of Kings; Look on my Works, ye Mighty, and despair!☆40Updated 2 years ago
- Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT …☆46Updated 2 months ago
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Updated 2 years ago
- Easy to use Verifiable AI and smart contracts interoperability.☆30Updated last year
- React Hooks for Keyless AI☆25Updated 2 years ago
- Create a servelerless AI agent for X, TG & Farcaster☆41Updated last year
- TOPLOC: is a novel method for verifiable inference that enables users to verify that LLM providers are using the correct model configurat…☆52Updated 9 months ago
- Securely run AI-generated code in stateful sandboxes that run forever.☆227Updated 9 months ago
- Infr is an autonomous, open-source platform for data collection, storage, & retrieval that you can self-host.☆45Updated 2 years ago
- A browser extension that demos Gemini Nano via window.ai and Cartesia TTS ⚡️☆38Updated last year
- ☆52Updated 2 months ago
- Official servlets for mcp.run published by @dylibso☆63Updated 2 months ago
- Multi-language code navigation API in a container☆100Updated 6 months ago
- ☆25Updated last year
- Private Web Search for Local LLMs☆168Updated 11 months ago
- Software for running personal agents locally that can interact with personal agents on other devices☆62Updated 10 months ago
- Prompt Optimization☆73Updated this week
- decentralized blogging platform☆62Updated this week
- Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…☆148Updated this week
- 🐤 A minimal viable logger for Prompt/LLM Engineering. Use your IDE as Logging UI - a fast, simple, extensible, zero dependency Node.js l…☆147Updated last year
- papers.day☆93Updated 2 years ago
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- Automatically extract executable programs from pruned mechanistic circuits, extending OpenAI's Sparse Circuits☆62Updated 2 months ago
- A browser-based AI inference network.☆126Updated last year
- Universal API for cloud sandboxes + CLI☆71Updated 3 weeks ago
- A visual interface for understanding and interpreting Transformers☆77Updated 2 years ago
- A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.☆41Updated 7 months ago