☆24Aug 13, 2017Updated 8 years ago
Alternatives and similar repositories for python-zk-proofs
Users that are interested in python-zk-proofs are comparing it to the libraries listed below
Sorting:
- The combined Python code for the post "Elliptic Curves over Finite Fields"☆17Jun 9, 2020Updated 5 years ago
- 🌍 My website☆10Nov 23, 2025Updated 3 months ago
- go-rapidsnark☆23Feb 12, 2026Updated 2 weeks ago
- Trenink test automatizace https://www.testautomation-basecamp.cz/☆10Nov 25, 2020Updated 5 years ago
- ☆21Jun 13, 2017Updated 8 years ago
- Create PDA Account In Solana☆10Dec 29, 2021Updated 4 years ago
- This is the implementation of the 5G-AKA for the master thesis: Identity management, identification mechanisms and privacy protection met…☆11Jul 22, 2019Updated 6 years ago
- Web effectivethesis.com (and old version of efektivni-altruismus.cz)☆10Feb 22, 2022Updated 4 years ago
- All in one iOS and Android app for Payments and DeFi powered by ZK Rollups and Ethereum Blockchain.☆12Jan 26, 2023Updated 3 years ago
- Právnické výpočty a pomůcky☆12Feb 11, 2020Updated 6 years ago
- Continual Learning for Transformers that allows training on multiple tasks sequentially while preserving knowledge from earlier tasks usi…☆17Aug 8, 2025Updated 6 months ago
- Terraform provider for the Minio object storage.☆11Jan 24, 2022Updated 4 years ago
- chainlink demos☆12Apr 9, 2018Updated 7 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Medical data processing and ML workshops☆10May 16, 2023Updated 2 years ago
- ☆43Apr 2, 2018Updated 7 years ago
- Accumulators and Vector Commitments☆42Dec 7, 2022Updated 3 years ago
- Ansible Dresden Meetup, located in Dresden, Germany.☆10Feb 4, 2020Updated 6 years ago
- recept és napi menü kezelő program. Anyag szükséglet számítás, bevásárló lista készítés☆11Oct 3, 2023Updated 2 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- An example of how to communicate to a service class threw a Binder.☆10Aug 12, 2015Updated 10 years ago
- State Machine Compiler☆15Jan 27, 2009Updated 17 years ago
- ☆12Oct 19, 2018Updated 7 years ago
- Zclassic Official Website - https://zclassic.org☆12Jul 30, 2022Updated 3 years ago
- ☆10Jul 25, 2019Updated 6 years ago
- jsonrpc 2.0 client/server library for Twisted☆13Aug 31, 2018Updated 7 years ago
- ☆11Oct 31, 2020Updated 5 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- WavSpA: Wavelet Space Attention for Enhancing Transformer's Long Sequence Learning☆12Feb 24, 2024Updated 2 years ago
- An arduino video game console that uses cartridges and has the same size as a standard business card☆12Aug 19, 2021Updated 4 years ago
- lua convert to javascript for cocos2d-js☆10Jun 21, 2018Updated 7 years ago
- ☆12Oct 18, 2022Updated 3 years ago
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago
- Ether cross chain atomic swap smart contract☆10Mar 28, 2019Updated 6 years ago
- simple golang deep learning framework☆10Jul 5, 2021Updated 4 years ago
- VSCode extension for SSH config files.☆13Jul 31, 2019Updated 6 years ago
- Local, minimal, key navigable tasks.☆11May 12, 2019Updated 6 years ago
- Agent server for cross internet proxy and different protocol adapter that written in golang.☆12Dec 17, 2017Updated 8 years ago
- [IEEE TMI 2024] GC2: Generalizable Continual Classification of Medical Images☆10Jun 4, 2024Updated last year