Alternatives and similar repositories for zero-knowledge-proofs

Users that are interested in zero-knowledge-proofs are comparing it to the libraries listed below

• jamsocket / forevervm
  Securely run AI-generated code in stateful sandboxes that run forever.
  ☆226Updated 9 months ago
• exo-explore / private-search
  Private Web Search for Local LLMs
  ☆168Updated 11 months ago
• Yuyz0112 / relia
  Find the Best LLM for Your Needs through E2E Testing
  ☆83Updated last year
• agentsea / r1-computer-use
  Applying the ideas of Deepseek R1 to computer use
  ☆221Updated last year
• invariantlabs-ai / explorer
  A better way of testing, inspecting, and analyzing AI Agent traces.
  ☆46Updated 3 weeks ago
• synth-laboratories / synth-ai
  Prompt Optimization
  ☆73Updated this week
• PrimeIntellect-ai / toploc
  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
• InfrHQ / server
  Infr is an autonomous, open-source platform for data collection, storage, & retrieval that you can self-host.
  ☆45Updated 2 years ago
• agentic-labs / lsproxy
  Multi-language code navigation API in a container
  ☆100Updated 5 months ago
• ishan0102 / rsrch.space
  Stream of my favorite papers and links
  ☆44Updated 3 weeks ago
• naklecha / factorio-automation
  i will automate factorio
  ☆111Updated last year
• SpellcraftAI / turing
  Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.
  ☆58Updated last year
• firstbatchxyz / hollowdb-vector
  A decentralized vector database for building vector search applications
  ☆98Updated last year
• missingstudio / gateway
  [deprecated] AI Gateway - core infrastructure stack for building production-ready AI Applications
  ☆160Updated last year
• ariana-dot-dev / ariana-debugger
  Observability and runtime visualization for JS/TS/Python code with zero code change
  ☆132Updated 7 months ago
• PaulKinlan / Co-do
  Cowork-like experience in the browser using filesystem api
  ☆69Updated this week
• Extensible-AI / DAGent
  Build AI Agents with Your Existing Python Code!
  ☆69Updated last year
• sheet0 / npi
  Action library for AI Agent
  ☆229Updated 10 months ago
• Steer-AI / SteerCode
  ☆38Updated 4 months ago
• smol-ai / logger
  🐤 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
• hide-org / hide
  🤖 Headless IDE for AI agents
  ☆200Updated 3 months ago
• samwho / llmwalk
  Explore the answer-space of open LLMs
  ☆187Updated 2 weeks ago
• plastic-labs / honcho
  Memory library for building stateful agents
  ☆309Updated last week
• alchemiststudiosDOTai / i-love-claude-code
  Claude Code discussion of shortcuts, automation, hacks and overall productivity with Claude Code
  ☆31Updated last month
• PrimeIntellect-ai / protocol
  peer-to-peer compute and intelligence network that enables decentralized AI development at scale
  ☆137Updated 2 months ago
• manifoldmarkets / manifund
  ☆12Updated last week
• hdresearch / nolita
  Work with web-enabled agents quickly — whether running a quick task or bootstrapping a full-stack product.
  ☆92Updated last year
• winfunc / stackwalk
  Universal language-agnostic AST walking and accurate call stack generation with tree-sitter.
  ☆125Updated last year
• farhan0167 / otto-m8
  Flowchart-like UI to interconnect LLM's and Huggingface models, and deploy them as a REST API with little to no code.
  ☆72Updated 10 months ago
• Globe-Engineer / globot
  Globot is an agent that controls your browser using playwright and GPT-4V.
  ☆134Updated 2 years ago