🐉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☆70Apr 1, 2022Updated 4 years ago
- Deploy your own customized OP stack in a few commands☆12Feb 4, 2025Updated last year
- OpenLayers 3☆12Mar 25, 2019Updated 7 years ago
- ☆16Nov 18, 2024Updated last year
- Warehouse of notebooks that contains azure data explorer queries to help in root causing pipeline delays in azuredevops.☆17Nov 28, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This repository contain tool to publish code coverage reports to Azure pipelines☆21Jul 13, 2026Updated last week
- Quick to TCP proxy and vice versa☆17Mar 23, 2023Updated 3 years ago
- 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 4 months ago
- The simplest BGP implementation written in BASH☆10Dec 16, 2016Updated 9 years ago
- Project from session "Building Cross-Platform Desktop Apps with Electron.NET"☆11Aug 10, 2020Updated 5 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- MinPlotX is THE! tool for mineral formula recalculation and compositional plotting.☆18Jul 30, 2025Updated 11 months ago
- examples of using ip rules and multiple routing tables to solve real-world problems☆14Aug 20, 2010Updated 15 years ago
- OpenSea SDK in GoLang☆21Jan 27, 2023Updated 3 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆12Apr 30, 2026Updated 2 months ago
- neow3j: Java Examples☆13Jul 6, 2026Updated 2 weeks ago
- Implement a class in C++ that allows you to create integers of arbitrary size.☆13Oct 28, 2013Updated 12 years ago
- Interpreter for my own programming language☆11May 6, 2021Updated 5 years ago
- ☆25Jun 21, 2021Updated 5 years ago
- The Train Benchmark framework for evaluating incremental model validation performance☆13Nov 1, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- serial version of pyBadlands☆18Aug 13, 2019Updated 6 years ago
- Converts Half-WPA handshake to hashcat☆19Oct 29, 2018Updated 7 years ago
- CSAW 2017 Embedded Security Challenge☆12Jun 7, 2018Updated 8 years ago
- GT06 GPS Tracker Server☆12Dec 20, 2019Updated 6 years ago
- Mastic: Private Weighted Heavy-Hitters and Attribute-Based Metrics☆13Nov 20, 2024Updated last year
- C# implementation of some mathematical solutions to problems in 3D world generation☆10Oct 2, 2021Updated 4 years ago
- 0-RTT network protocol optimized for P2P transfers.☆25Aug 31, 2025Updated 10 months ago
- A plugin that enables support images on cytoscape.js☆12Dec 6, 2022Updated 3 years ago
- NodeJs Client Library and Sample for the Umbraco Headless Cloud Service☆13Apr 21, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Type-safe bitcoin full-node☆19Jul 14, 2018Updated 8 years ago
- Search framework for CAD files using the frequency domain☆13May 3, 2024Updated 2 years ago
- Public issue tracker for Captain of Industry video game☆31Jul 16, 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
- PepperCron is a distributed cron job management system☆34Feb 3, 2023Updated 3 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
- Words PT-BR (Brazilian Portuguese)☆18Aug 6, 2024Updated last year