circuitgraph/circuitgraph

Tools for working with circuits as graphs in python

Language: Verilog - Size: 10.5 MB - Last synced at: 3 days ago - Pushed at: almost 2 years ago - Stars: 124 - Forks: 13

richardstartin/splitmap

Parallel boolean circuit evaluation

Language: Java - Size: 247 KB - Last synced at: 29 days ago - Pushed at: almost 7 years ago - Stars: 26 - Forks: 2

circuitgraph/circuitsim

Perform gate-level simulations from python

Language: Python - Size: 44.9 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

Nexus-TYF/bitsliced-aes

A simple bitsliced implementation of AES.

Language: C - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 1

jnagykuhlen/CompactMPC

A lightweight library for secure multi-party computation (MPC) based on the GMW protocol, fully written in C#.

Language: C# - Size: 375 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 3

statebox/libsnark-circuit

Language: C++ - Size: 33.1 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

Danila-Pechenev/circuit-sat-minisat Fork of niklasso/minisat

Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics

Language: C++ - Size: 38.2 MB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

quasilevel/boolviz

A boolean circuit visualizer for educational purposes

Language: TypeScript - Size: 296 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 3

WANGQINWU/Boolean-Circuits-for-Differential-Privacy

Randomized Response by boolean circuits and z3

Language: Jupyter Notebook - Size: 113 KB - Last synced at: 11 months ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0