πZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs
β13Apr 1, 2022Updated 3 years ago
Alternatives and similar repositories for ZeroJava-compiler
Users that are interested in ZeroJava-compiler are comparing it to the libraries listed below
Sorting:
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Applicationβ68Apr 1, 2022Updated 3 years ago
- β11Feb 10, 2026Updated 2 weeks ago
- β10Dec 5, 2025Updated 2 months ago
- React Native library for accessing CPU time on the deviceβ10Apr 22, 2025Updated 10 months ago
- MinPlotX is THE! tool for mineral formula recalculation and compositional plotting.β13Jul 30, 2025Updated 7 months ago
- This toolkit guides you on implementing secure and user-friendly digital and in-person interactions. Whether you are a service owner, devβ¦β10Nov 6, 2025Updated 3 months ago
- ForgeRock Identity Cloud Debug Toolsβ11Jan 27, 2023Updated 3 years ago
- Firmware files for Dropletβ10Aug 6, 2019Updated 6 years ago
- OpenLayers 3β12Mar 25, 2019Updated 6 years ago
- β11Sep 25, 2022Updated 3 years ago
- Joined 2020 Census and election files for redistricting.β12Dec 4, 2025Updated 2 months ago
- Battle for Hill 218 game implemented for BoardGameArenaβ13Apr 10, 2022Updated 3 years ago
- BambooHR Slack bot publishes company holidays, work anniversaries, first days, birthdays, and who is out each weekday.β10Mar 4, 2023Updated 2 years ago
- Detect and blur all faces on videos and photos.β10Jun 9, 2020Updated 5 years ago
- HELM: Navigating Homomorphic Encryption through Gates and Lookup Tablesβ11Apr 7, 2025Updated 10 months ago
- Indexador em Python que organiza torrents brasileiros em formato padronizadoβ42Updated this week
- This is a simple notebook comparing the output of Holt-Winters, SARIMA and FBProphet. Information about parameter tuning has not been incβ¦β10Jun 27, 2019Updated 6 years ago
- POSIX-compliant CLI tool that wraps tmux β₯ 3.0 and git worktree to manage parallel AI coding sessions ("heads")β27Dec 30, 2025Updated 2 months ago
- Nada-Numpy is a Python library designed for algebraic operations on NumPy-like array objects on top of Nada DSL and Nillion Network.β12Nov 21, 2024Updated last year
- Computes and displays the visual differences between two URLsβ12Aug 17, 2022Updated 3 years ago
- Fikovnik's Mac Toolkitβ20Oct 23, 2010Updated 15 years ago
- some example demoing how to use go genericsβ12Nov 19, 2021Updated 4 years ago
- clone from http://git.infradead.org/users/dwmw2/vpnc-scripts.git/β11Sep 25, 2024Updated last year
- π A real-time Golang runtime stats visualization profilerβ10Apr 16, 2024Updated last year
- Golang neural network - fast and easy classification and regression.β12Jun 7, 2021Updated 4 years ago
- 请移ζ₯Echarts-panelβ13Nov 7, 2017Updated 8 years ago
- Trusted-setup scriptsβ28Jan 25, 2026Updated last month
- A prototype made with Apple Keynote'13.β10Feb 19, 2015Updated 11 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundnessβ11Nov 2, 2024Updated last year
- Java library to check if an IP address (or ASN) belongs to a specific country codeβ12May 17, 2018Updated 7 years ago
- A lightweight tunnel proxy, just a toyβ10Apr 6, 2015Updated 10 years ago
- β15Nov 18, 2024Updated last year
- Script to setup istio in KinD (compatible with M1 Macs)β10Aug 21, 2021Updated 4 years ago
- OWASP Smart Contract Securty Verification Standardβ17Aug 20, 2025Updated 6 months ago
- β12Feb 16, 2026Updated last week
- Elasticsearch interface for goβ21Mar 26, 2012Updated 13 years ago
- Terraform Azure RM Compute Group Moduleβ10May 28, 2025Updated 8 months ago
- A gem that replaces Rails' default Yarn integration with pnpm.β10Apr 27, 2023Updated 2 years ago
- β14Feb 21, 2026Updated last week