boolean-circuits

There are 0 repository under boolean-circuits topic.

circuitgraph
circuitgraph / circuitgraph
Tools for working with circuits as graphs in python
python boolean-circuits satisfiability netlist graphs eda
Language:Verilog 98
richardstartin / splitmap
Parallel boolean circuit evaluation
bitset boolean-circuits boolean-algebra bitmap roaringbitmap indexing
Language:Java 19
jnagykuhlen / CompactMPC
A lightweight library for secure multi-party computation (MPC) based on the GMW protocol, fully written in C#.
multiparty-computation secure-computation mpc peer-to-peer boolean-circuits privacy cryptographic-algorithms
Language:C# 12
Nexus-TYF / bitsliced-aes
A simple bitsliced implementation of AES.
aes bitslicing boolean-circuits
Language:C 4
circuitgraph / circuitsim
Perform gate-level simulations from python
boolean-circuits eda netlist python simulation
Language:Python 3
WANGQINWU / Boolean-Circuits-for-Differential-Privacy
Randomized Response by boolean circuits and z3
boolean-circuits differential-privacy z3
Language:Jupyter Notebook 3
Danila-Pechenev / circuit-sat-minisat
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
circuit-sat sat sat-solver boolean-circuits circuit circuit-satisfiability circuit-sat-solver
Language:C++ 2
statebox / libsnark-circuit
boolean-circuits efgrant zksnarks
Language:C++ 1
quasilevel / boolviz
A boolean circuit visualizer for educational purposes
boolean-circuits educational-software interactive simulation teaching
Language:TypeScript 0