GitHub topics: arithmetic-circuits
breandan/galoisenne
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Language: Kotlin - Size: 139 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 136 - Forks: 11
ropeless/compiled_knowledge
CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.
Language: Python - Size: 939 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
anoma/juvix
A language for intent-centric and declarative decentralised applications
Language: Haskell - Size: 11.4 MB - Last synced at: 6 days ago - Pushed at: 21 days ago - Stars: 483 - Forks: 60
danielbboy111/CPEN-311
CPEN 311: Digital Systems Design
Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
xevisalle/zpie
ZPiE: Zero-knowledge Proofs in Embedded systems
Language: C - Size: 137 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 5
CFZRfrndVolt/Introducing-VHDL-
This repository contains projects and experiments focused on designing, simulating, and implementing digital circuits using VHDL (VHSIC Hardware Description Language) and Quartus II software. The projects covered in this repository serve as an introduction to key concepts in digital system design, including the creation of basic logic circuits, com
Size: 1000 Bytes - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
arasgungore/NandGame
Solutions for The Nand Game, a game that teaches the fundamentals of computing by building a computer from scratch.
Size: 4.85 MB - Last synced at: 24 days ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 1
NikosDelijohn/finjenv
Fault injection environment (finjenv) of permanent hardware faults for various arithmetic circuits based on QuestaSIM logic simulator
Language: Verilog - Size: 599 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
ruuda/zerorack
Experiments with circuit compilation and zk-snarks
Language: Haskell - Size: 28.3 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 0
alexmllo/zk-hashes
Rust implementation of some Arithmetization-Oriented cryptographic primitives in the Plonk framework
Language: Rust - Size: 63.3 MB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
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.
Language: Verilog - Size: 76.2 KB - Last synced at: 4 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
