circuitgraph/circuitgraph

Tools for working with circuits as graphs in python

Language: Verilog - Size: 10.5 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 115 - Forks: 14

richardstartin/splitmap

Parallel boolean circuit evaluation

Language: Java - Size: 247 KB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 2

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: 12 months ago - Pushed at: 12 months ago - Stars: 12 - Forks: 3

statebox/libsnark-circuit

Language: C++ - Size: 33.1 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

circuitgraph/circuitsim

Perform gate-level simulations from python

Language: Python - Size: 44.9 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 3 - 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: 3 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

quasilevel/boolviz

A boolean circuit visualizer for educational purposes

Language: TypeScript - Size: 296 KB - Last synced at: about 1 year ago - Pushed at: about 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: 5 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0