Alternatives and similar repositories for HKUST-Robotics-SoftwareTut-2019

Users that are interested in HKUST-Robotics-SoftwareTut-2019 are comparing it to the libraries listed below

• lookingglass-coding / lookingglass-ide

  View on GitHub
  The Looking Glass Programming Environment
  ☆11May 8, 2017Updated 8 years ago
• polymerdao / plonky2

  View on GitHub
  ☆13Feb 14, 2025Updated last year
• 0xPolygonHermez / pil2-proofman

  View on GitHub
  Prover Manager
  ☆25Feb 6, 2026Updated last week
• gallegojm / STM32-E407-NTPClient

  View on GitHub
  Ntp Client for Olimex STM32-E407 and ChibiOS
  ☆12Jul 6, 2015Updated 10 years ago
• PP-FM / ZKUNSAT

  View on GitHub
  ☆20Jan 17, 2025Updated last year
• AztecProtocol / plonk-with-lookups

  View on GitHub
  ☆19May 5, 2020Updated 5 years ago
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• DelphinusLab / halo2aggregator-s

  View on GitHub
  ☆18Oct 27, 2025Updated 3 months ago
• AztecProtocol / aztec-verifier-contracts

  View on GitHub
  ☆27May 12, 2023Updated 2 years ago
• Lagrange-Labs / reckle-trees

  View on GitHub
  ☆33Mar 27, 2024Updated last year
• Plonky3 / awesome-plonky3

  View on GitHub
  A curated list of Plonky3 resources, libraries, tools and more.
  ☆43Dec 1, 2025Updated 2 months ago
• lurk-lab / neptune-triton

  View on GitHub
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Apr 4, 2021Updated 4 years ago
• simonkamp / curve-trees

  View on GitHub
  ☆36Oct 14, 2024Updated last year
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• pag-crypto / zkmbs

  View on GitHub
  Code for zero-knowledge middleboxes
  ☆63Jul 26, 2022Updated 3 years ago
• hyperledger-labs / weaver-dlt-interoperability

  View on GitHub
  A platform, a protocol suite, and a set of tools, to enable interoperation for data sharing and asset movements between independent netwo…
  ☆56Sep 4, 2024Updated last year
• libp2p / go-tcp-transport

  View on GitHub
  An implementation of a libp2p transport using tcp
  ☆59May 26, 2022Updated 3 years ago
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• iden3 / rapidsnark

  View on GitHub
  rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.
  ☆87Jan 7, 2026Updated last month
• scroll-tech / zktrie

  View on GitHub
  Binary storage trie
  ☆76Nov 29, 2024Updated last year
• matter-labs / era-zk_evm

  View on GitHub
  Out-of-circuit zkEVM implementation
  ☆80Aug 16, 2024Updated last year
• iotaledger / chronicle.rs

  View on GitHub
  A framework for building IOTA permanodes
  ☆74Jun 29, 2023Updated 2 years ago
• tangle-network / zero-knowledge-gadgets

  View on GitHub
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Jan 20, 2023Updated 3 years ago
• filecoin-project / ec-gpu

  View on GitHub
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆98Jul 30, 2025Updated 6 months ago
• 0xPolygonZero / zk_evm

  View on GitHub
  ☆100May 2, 2025Updated 9 months ago
• caulk-crypto / caulk

  View on GitHub
  ☆113Feb 6, 2024Updated 2 years ago
• crytic / echidna-streaming-series

  View on GitHub
  A 6-part series on how to use Echidna on real-world codebases
  ☆111Jun 29, 2023Updated 2 years ago
• grandinetech / rust-kzg

  View on GitHub
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆134Dec 16, 2025Updated last month
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• dalek-cryptography / merlin

  View on GitHub
  Composable proof transcripts for public-coin arguments of knowledge
  ☆132Mar 9, 2023Updated 2 years ago
• privacy-ethereum / chiquito

  View on GitHub
  DSL for Halo2 circuits
  ☆188Nov 4, 2024Updated last year
• akosba / xjsnark

  View on GitHub
  A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
  ☆194Nov 27, 2022Updated 3 years ago
• supranational / sppark

  View on GitHub
  Zero-knowledge template library
  ☆210Jan 28, 2026Updated 2 weeks ago
• adria0 / awesome-halo2

  View on GitHub
  List of halo2-related resources
  ☆203Jan 30, 2025Updated last year
• arkworks-rs / crypto-primitives

  View on GitHub
  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
  ☆235Jul 21, 2025Updated 6 months ago
• rkdud007 / awesome-zkvm

  View on GitHub
  A curated list of zkVM, zero-knowledge virtual machine
  ☆301Sep 29, 2025Updated 4 months ago
• 0xPolygon / zkevm-prover

  View on GitHub
  zkEVM prover in C++
  ☆242Aug 29, 2025Updated 5 months ago
• cairo-book / cairo-book

  View on GitHub
  The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
  ☆277Feb 7, 2026Updated last week