Alternatives and similar repositories for zero-knowledge-proofs

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

• open-quantum-safe / profiling
  Network-level performance testing of post-quantum cryptography using the OQS suite
  ☆11Updated last year
• LarsDu / DiffuMon
  Basic Denoising Diffusion Probabilistic Model image generator implemented in PyTorch
  ☆10Updated 5 months ago
• ClemHeyd / PCR7500
  Craziness.
  ☆29Updated 3 months ago
• mrsuh / sqlite-index
  ☆11Updated 6 months ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated last year
• kokx / duco-analysis
  ☆22Updated 5 months ago
• nicholaschiasson / fcidr
  Fragmented Classless Inter-Domain Routing (FCIDR)
  ☆16Updated last year
• brawnski / git-annex
  a mirror of git-annex's main git repository
  ☆18Updated 13 years ago
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• cjpais / LocalScore
  LocalScore is an open benchmark which helps you understand how well your computer can handle local AI tasks.
  ☆40Updated 3 weeks ago
• chisasaw / redsage
  RedSage is a lightweight terminal-based pair programming assistant that integrates with LLMs (like OpenAI and Claude) to provide real-tim…
  ☆16Updated 5 months ago
• susam / mathcask
  A quick starter kit to easily write and share your self-rendering mathematical notes and snippets
  ☆13Updated 2 months ago
• scottmckuen / qoord
  Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.
  ☆33Updated last year
• noman-land / transcript.fish
  Unofficial No Such Thing As A Fish episode transcripts.
  ☆19Updated this week
• qianfei11 / ShadowyCompression
  A JPEG Image Compression Service using Part Homomorphic Encryption.
  ☆30Updated 3 months ago
• jmaczan / text-to-ml
  Programmable automated machine learning - proof of concept
  ☆15Updated 7 months ago
• haizelabs / safe-rbac-rag
  MongoDB + Haize = Safe & Secure RAG with RBAC
  ☆12Updated 7 months ago
• SpencerTorres / Click-V
  A RISC-V emulator built with ClickHouse SQL
  ☆33Updated this week
• Bitlogic-templates / eagle-eye
  ☆40Updated last month
• chemlambda / molecular
  Molecular computers with interaction combinators like graph rewrite systems
  ☆10Updated 2 years ago
• datasette / datasette-enrichments-gpt
  Datasette enrichment for analyzing row data using OpenAI's GPT models
  ☆19Updated last year
• hujiles / NFT-Image-Generator
  A more advanced utility to generate a large collection of unique images along with metadata.
  ☆5Updated 2 years ago
• albertz / screenshooting
  scripts for handling screenshots and analyzing them
  ☆13Updated 14 years ago
• simonw / observable-framework-experiments
  Experiments with Observable Framework
  ☆12Updated last year
• otdav33 / Fractal-Toolkit
  Render, select coordinates, export to video and more.
  ☆14Updated last year
• paulmooreparks / Xfer
  A new data-transfer language that has stricter typing yet more flexible syntax.
  ☆17Updated 3 weeks ago
• FourThievesVinegar / Chemhacktica-OLD
  DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.
  ☆13Updated 9 months ago
• CERN / Quantumacy
  ☆14Updated last year
• underthreaded / dvlg
  A markup language for high efficiency note taking
  ☆16Updated 7 months ago
• Xe / structured-reasoning
  An implementation of s1: Simple test-time scaling with Ollama
  ☆14Updated 4 months ago