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:
- Securely run AI-generated code in stateful sandboxes that run forever.☆226Updated 9 months ago
- ☆144Updated 2 years ago
- Infr is an autonomous, open-source platform for data collection, storage, & retrieval that you can self-host.☆45Updated 2 years ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆137Updated 2 months ago
- Let the LLM review your code.☆214Updated 2 years ago
- Private Web Search for Local LLMs☆168Updated 11 months ago
- ☆38Updated 4 months ago
- 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
- ☆12Updated this week
- Stream of my favorite papers and links☆44Updated 3 weeks ago
- Simple orchestration for EC2 spot containers☆19Updated last year
- Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.☆58Updated last year
- My name is Ozymandias, King of Kings; Look on my Works, ye Mighty, and despair!☆40Updated 2 years ago
- papers.day☆93Updated 2 years ago
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Updated 2 years ago
- Explore the answer-space of open LLMs☆187Updated 2 weeks ago
- Extract streaming data from text using prefix completion.☆10Updated last year
- A decentralized vector database for building vector search applications☆98Updated last year
- Prompt Optimization☆73Updated this week
- Cowork-like experience in the browser using filesystem api☆69Updated this week
- Official servlets for mcp.run published by @dylibso☆63Updated 2 months ago
- Finetune your embeddings in-browser☆34Updated last year
- llm plugin for Cerebras fast inference API☆34Updated 6 months ago
- Agent harness framework for building, running, and verifying LLM workflows☆191Updated last week
- Universal API for cloud sandboxes + CLI☆71Updated 3 weeks ago
- Applying the ideas of Deepseek R1 to computer use☆221Updated last year
- Prompt-based software development☆23Updated last year
- Software for running personal agents locally that can interact with personal agents on other devices☆62Updated 10 months ago
- Create a servelerless AI agent for X, TG & Farcaster☆41Updated last year
- Multi-language code navigation API in a container☆100Updated 6 months ago