polylog-cs / zero-knowledge-proofsLinks
☆13Updated 3 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:
- [DEPRECATED — See notice in README.md] Network-level performance testing of post-quantum cryptography using the OQS suite☆11Updated 2 weeks ago
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 3 months ago
- a mirror of git-annex's main git repository☆18Updated 13 years ago
- ☆11Updated 7 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- A Literate Programming System Utilizing Markdown☆16Updated last week
- A star for organising blocks and playing with transformers.☆23Updated last year
- Craziness.☆29Updated 4 months ago
- An implementation of s1: Simple test-time scaling with Ollama☆14Updated 4 months ago
- Example bare-bones gazette consumer application that plays ping pong. _At Scale_!☆15Updated 4 years ago
- LLTZ: Compiler from MLIR to Michelson☆14Updated 5 months ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 2 months ago
- ☆23Updated 11 months ago
- Codebox in JS☆17Updated 2 weeks ago
- Tiny, rough-and-ready quantum circuit simulator for exploring quantum networking and computing.☆33Updated last year
- A markup language for high efficiency note taking☆16Updated 7 months ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆13Updated 3 months ago
- RedSage is a lightweight terminal-based pair programming assistant that integrates with LLMs (like OpenAI and Claude) to provide real-tim…☆16Updated 6 months ago
- Typed Formats for Storing & Transferring Data & Code☆33Updated last month
- stemformulas.com, the eventual home of every STEM formula☆19Updated 5 months ago
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆33Updated last year
- Actor-based Runtime Verification Tool☆18Updated 2 years ago
- Unofficial No Such Thing As A Fish episode transcripts.☆20Updated this week
- The framework for next generation data center.☆19Updated 4 months ago
- AI-powered bullet point language / IDE☆14Updated last month
- A powerful tool that converts voice recordings into high-quality Anki flashcards using AI-powered transcription and LLM processing, featu…☆20Updated 5 months ago
- Fragmented Classless Inter-Domain Routing (FCIDR)☆16Updated last year
- Experiments with Observable Framework☆12Updated last year
- Project to verify the Guy-Selfridge conjectures☆20Updated 2 weeks ago