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 last month
- a mirror of git-annex's main git repository☆18Updated 13 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- a tool to generate and apply binary deltas between Docker images to optimize registry storage☆21Updated last week
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated this week
- This repository houses five notebooks containing Mathematica Wolfram commands along with their detailed descriptions in Persian. Explore …☆14Updated 2 years ago
- MetaR takes advantage of Language Workbench Technology to facilitate data analysis with the R language.☆11Updated 4 years ago
- ☆11Updated 6 months ago
- ☆11Updated 3 months ago
- High-performance Python runtime extensions☆24Updated this week
- ☆14Updated last year
- Molecular computers with interaction combinators like graph rewrite systems☆10Updated 2 years ago
- This repo contains example notebooks which can be launched via binder☆24Updated 5 months ago
- Codebox in JS☆17Updated last month
- What did I do all day?☆11Updated last year
- Actor-based Runtime Verification Tool☆18Updated 2 years ago
- A code implementation of diagrams found in Walter Russel's book, The Secret of Light.☆12Updated 2 years ago
- Pong is a two-player game where each player controls a paddle to hit a ball back and forth 🚀🕹️☆29Updated 11 months ago
- A quick starter kit to easily write and share your self-rendering mathematical notes and snippets☆14Updated 3 months ago
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆10Updated 2 years ago
- Experiments with Observable Framework☆12Updated last year
- LLTZ: Compiler from MLIR to Michelson☆14Updated 6 months ago
- ☆14Updated last year
- scripts for handling screenshots and analyzing them☆13Updated 14 years ago
- Tool for cleaning old and redundant backups☆14Updated last month
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Updated 10 months ago
- Fragmented Classless Inter-Domain Routing (FCIDR)☆16Updated last year
- This repository is for the SoilingNet Project. Soiling Net is an AI model to analyze soiling and power loss on photovoltaic panels, with …☆10Updated 10 months ago
- Datasette plugin for searching all searchable tables at once☆25Updated 10 months ago
- An attempt to keep up with the latest LK-99 developments☆12Updated last year