boolean-circuits

There are 9 repositories under boolean-circuits topic.

circuitgraph/circuitgraph
Tools for working with circuits as graphs in python
Language:Verilog123 2 2614
richardstartin/splitmap
Parallel boolean circuit evaluation
Language:Java26 1 42
jnagykuhlen/CompactMPC
A lightweight library for secure multi-party computation (MPC) based on the GMW protocol, fully written in C#.
Language:C#12 4 03
Nexus-TYF/bitsliced-aes
A simple bitsliced implementation of AES.
Language:C6 2 01
circuitgraph/circuitsim
Perform gate-level simulations from python
Language:Python4 2 00
WANGQINWU/Boolean-Circuits-for-Differential-Privacy
Randomized Response by boolean circuits and z3
Language:Jupyter Notebook3 4 00
Danila-Pechenev/circuit-sat-minisat
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
Language:C++2 0 00
statebox/libsnark-circuit
Language:C++1 4 3
quasilevel/boolviz
A boolean circuit visualizer for educational purposes
Language:TypeScript0 0 13