Alternatives and similar repositories for zero-knowledge-proofs:

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

• da-x / deltaimage
  a tool to generate and apply binary deltas between Docker images to optimize registry storage
  ☆20Updated last year
• underthreaded / dvlg
  A markup language for high efficiency note taking
  ☆16Updated 5 months ago
• LarsDu / DiffuMon
  Basic Denoising Diffusion Probabilistic Model image generator implemented in PyTorch
  ☆10Updated 3 months ago
• codespin-ai / codebox
  Codebox in JS
  ☆15Updated this week
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆12Updated last month
• albertz / screenshooting
  scripts for handling screenshots and analyzing them
  ☆13Updated 14 years ago
• thiswillbeyourgithub / Voice2Anki
  A powerful tool that converts voice recordings into high-quality Anki flashcards using AI-powered transcription and LLM processing, featu…
  ☆19Updated 3 months ago
• adelamodwala / jist
  Search a JSON path and get the value fast
  ☆22Updated 2 months ago
• Gazman-Dev / bulifier
  AI-powered bullet point language / IDE
  ☆14Updated 2 months ago
• dhyaneesh / awesome-jax-flax-llms
  A collection of open-source large language model (LLM) implementations in JAX & Flax
  ☆24Updated 3 weeks ago
• Bitlogic-templates / eagle-eye
  ☆11Updated this week
• Dicklesworthstone / llm_introspective_compression_and_metacognition
  A novel approach for transformer model introspection that enables saving, compressing, and manipulating internal thought states for advan…
  ☆18Updated 3 weeks ago
• emmagamma / qlock
  CLI tool for encrypting/decrypting files locally with password-protected keys and non-NIST based algorithms and encryption schemes
  ☆9Updated this week
• ehsanmok / awesome-infrastructure-from-code
  😎 Awesome list of Infrastructure-from-Code
  ☆25Updated 11 months ago
• simonw / llm-nomic-api-embed
  Create embeddings for LLM using the Nomic API
  ☆23Updated 5 months ago
• brawnski / git-annex
  a mirror of git-annex's main git repository
  ☆18Updated 13 years ago
• jonrad / lsp-mcp
  An Model Context Protocol (MCP) server that provides LLMs/AI Agents with the capabilities of a language server protocol (LSP) server. Thi…
  ☆38Updated 3 weeks ago
• icholy / semgrepx
  xargs for semgrep
  ☆27Updated last year
• m6r-ai / humbug
  A GUI-based AI development tool with integrated Metaphor support
  ☆37Updated this week
• gazette / ping-pong
  Example bare-bones gazette consumer application that plays ping pong. _At Scale_!
  ☆15Updated 4 years ago
• FourThievesVinegar / ASKCOSv2
  Mirror of the ASKCOSv2 Project with Chemhacktica-flavored changes
  ☆16Updated 7 months ago
• nicholaschiasson / fcidr
  Fragmented Classless Inter-Domain Routing (FCIDR)
  ☆16Updated last year
• chisasaw / redsage
  RedSage is a lightweight terminal-based pair programming assistant that integrates with LLMs (like OpenAI and Claude) to provide real-tim…
  ☆16Updated 4 months ago
• puremd / puremd-mcp
  Unblock, scrape, and search tools for MCP clients
  ☆10Updated 3 weeks ago
• meetbryce / vibe-saver
  Save your code to GitHub and never worry about losing your work. Vibe code safely with vibe saver.
  ☆11Updated 2 weeks ago
• noman-land / transcript.fish
  Unofficial No Such Thing As A Fish episode transcripts.
  ☆19Updated last week
• RCKT-Software / telemetry
  An open-source progress tracker that predicts when you'll reach your goals.
  ☆17Updated last year
• bjoaquinc / system-info-now
  A lightweight Python utility that aggregates and exports comprehensive system information to JSON, specifically designed for feeding syst…
  ☆12Updated 2 weeks ago
• kerberosmansour / TLA_AutoRepair
  A TLA+ AutoRepair System For Formal Specification with GPT-4
  ☆14Updated last year
• simonw / ham-general-question-pool
  Questions from the Ham Radio General pool
  ☆14Updated 11 months ago