🐉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
- MinPlotX is THE! tool for mineral formula recalculation and compositional plotting.☆13Jul 30, 2025Updated 7 months ago
- Deploy your own customized OP stack in a few commands☆12Feb 4, 2025Updated last year
- ☆15Nov 18, 2024Updated last year
- OpenLayers 3☆12Mar 25, 2019Updated 6 years ago
- React Native library for accessing CPU time on the device☆10Apr 22, 2025Updated 10 months ago
- Command line tool to generate current wifi password qrcode for macOS☆43Jul 30, 2020Updated 5 years ago
- Java library to check if an IP address (or ASN) belongs to a specific country code☆12Feb 27, 2026Updated 2 weeks ago
- Quick to TCP proxy and vice versa☆17Mar 23, 2023Updated 2 years ago
- Project from session "Building Cross-Platform Desktop Apps with Electron.NET"☆11Aug 10, 2020Updated 5 years ago
- Indexador em Python que organiza torrents brasileiros em formato padronizado☆43Mar 12, 2026Updated last week
- The simplest BGP implementation written in BASH☆10Dec 16, 2016Updated 9 years ago
- Warehouse of notebooks that contains azure data explorer queries to help in root causing pipeline delays in azuredevops.☆17Nov 28, 2022Updated 3 years ago
- rtl819xd, rtl8196e and rtl8881a☆11Mar 16, 2020Updated 6 years ago
- Template C project☆29Dec 28, 2018Updated 7 years ago
- A proxy server for streaming video from a Guangzhou Juan IP camera without its custom handshaking.☆15Oct 13, 2024Updated last year
- OpenSea SDK in GoLang☆21Jan 27, 2023Updated 3 years ago
- examples of using ip rules and multiple routing tables to solve real-world problems☆14Aug 20, 2010Updated 15 years ago
- neow3j: Java Examples☆13Feb 19, 2026Updated last month
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- ☆35May 26, 2020Updated 5 years ago
- Implement a class in C++ that allows you to create integers of arbitrary size.☆13Oct 28, 2013Updated 12 years ago
- ☆25Jun 21, 2021Updated 4 years ago
- MCP server that provides AI assistants with comprehensive access to MudBlazor component documentation, code examples, and API reference. …☆38Mar 13, 2026Updated last week
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 3 years ago
- serial version of pyBadlands☆18Aug 13, 2019Updated 6 years ago
- Converts Half-WPA handshake to hashcat☆19Oct 29, 2018Updated 7 years ago
- A plugin that enables support images on cytoscape.js☆12Dec 6, 2022Updated 3 years ago
- Interpreter for my own programming language☆12May 6, 2021Updated 4 years ago
- NodeJs Client Library and Sample for the Umbraco Headless Cloud Service☆13Apr 21, 2023Updated 2 years ago
- GT06 GPS Tracker Server☆12Dec 20, 2019Updated 6 years ago
- 0-RTT network protocol optimized for P2P transfers.☆25Aug 31, 2025Updated 6 months ago
- Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics☆12Nov 20, 2024Updated last year
- Type-safe bitcoin full-node☆19Jul 14, 2018Updated 7 years ago
- A pure js implementation of the Paillier cryptosystem. THIS PROJECT IS NO LONGER MAINTAINED. Consider switching to paillier-bigint that i…☆10Apr 9, 2020Updated 5 years ago
- Public issue tracker for Captain of Industry video game☆28Jul 16, 2023Updated 2 years ago
- Open Source Tool for automate WPS pin attacks based on a local database and/or 3wifi.stascorp.com (Javascript known algorithms pin genera…☆19Oct 17, 2018Updated 7 years ago
- PepperCron is a distributed cron job management system☆34Feb 3, 2023Updated 3 years ago
- Words PT-BR (Brazilian Portuguese)☆16Aug 6, 2024Updated last year