Projects in Awesome Lists tagged with arithmetic-circuits
A curated list of projects in awesome lists tagged with arithmetic-circuits .
https://github.com/anoma/juvix
A language for intent-centric and declarative decentralised applications
anoma arithmetic-circuits functional-programming privacy-preserving-technologies programming-language
Last synced: 22 Jul 2025
https://github.com/breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
adjacency-matrix arithmetic-circuits automata finite-fields finite-state-machine functional-graphs graph graph-algorithms graph-grammars graph-matching graph-theory graph-transformation graph-visualizations graphs induction kotlin linear-algebra parsing
Last synced: 05 Apr 2025
https://github.com/xevisalle/zpie
ZPiE: Zero-knowledge Proofs in Embedded systems
arithmetic-circuits bulletproofs c cryptography range-proofs zero-knowledge-proofs zk-snarks
Last synced: 03 Jul 2025
https://github.com/ml-kuleuven/klay
Sparse Circuits on the GPU (ICLR2025)
arithmetic-circuits neurosymbolic neurosymbolic-ai probabilistic-circuits probabilistic-inference tractable-inference tractable-models
Last synced: 12 Mar 2026
https://github.com/arasgungore/nandgame
Solutions for The Nand Game, a game that teaches the fundamentals of computing by building a computer from scratch.
arithmetic-circuits arithmetic-logic-unit binary-logic computer control-unit digital-design fundamentals-of-computing hardware logic-circuit logic-gates logic-programming logic-unit memory nand-game nandgame processor random-access-memory solutions switching thenandgame-solutions
Last synced: 29 Jan 2026
https://github.com/ruuda/zerorack
Experiments with circuit compilation and zk-snarks
arithmetic-circuits r1cs zk-snarks
Last synced: 24 Jan 2026
https://github.com/richasavant/icarus-verilog-hdl-logical-circuits-2023
This repository focuses on designing and simulating logical circuits using Verilog HDL (Hardware Description Language) with the Icarus Verilog simulator.
adders arithmetic-circuits combinational-circuit decoders demultiplexer encoders flip-flops hdl icarus-verilog logic-gates multiplexer ripple-carry-adder sequential-circuits shift-registers
Last synced: 15 Feb 2026
https://github.com/alexmllo/zk-hashes
Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
anemoi arion arithmetic-circuits arithmetization-oriented griffin hash-functions plonk plonky2 poseidon rescue zero-knowledge
Last synced: 17 Mar 2025
