🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs
☆13Apr 1, 2022Updated 4 years ago
Alternatives and similar repositories for ZeroJava-compiler
Users that are interested in ZeroJava-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application☆71Apr 1, 2022Updated 4 years ago
- MinPlotX is THE! tool for mineral formula recalculation and compositional plotting.☆17Jul 30, 2025Updated 9 months ago
- Deploy your own customized OP stack in a few commands☆12Feb 4, 2025Updated last year
- ☆16Nov 18, 2024Updated last year
- OpenLayers 3☆12Mar 25, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- React Native library for accessing CPU time on the device☆10Apr 22, 2025Updated last year
- Java library to check if an IP address (or ASN) belongs to a specific country code☆12Feb 27, 2026Updated 2 months ago
- Quick to TCP proxy and vice versa☆17Mar 23, 2023Updated 3 years ago
- Command line tool to generate current wifi password qrcode for macOS☆43Jul 30, 2020Updated 5 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☆44Apr 8, 2026Updated 3 weeks ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 2 months ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Apr 15, 2026Updated 2 weeks ago
- ☆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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- C# implementation of some mathematical solutions to problems in 3D world generation☆10Oct 2, 2021Updated 4 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 3 years ago
- GT06 GPS Tracker Server☆12Dec 20, 2019Updated 6 years ago
- MCP server that provides AI assistants with comprehensive access to MudBlazor component documentation, code examples, and API reference. …☆71Apr 8, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 0-RTT network protocol optimized for P2P transfers.☆25Aug 31, 2025Updated 8 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 6 years ago
- PepperCron is a distributed cron job management system☆34Feb 3, 2023Updated 3 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
- Words PT-BR (Brazilian Portuguese)☆16Aug 6, 2024Updated last year