Tools for working with circuits as graphs in python
-
Updated
Nov 17, 2023 - Verilog
#
boolean-circuits
Here are 9 public repositories matching this topic...
Parallel boolean circuit evaluation
-
Updated
Oct 28, 2018 - Java
A lightweight library for secure multi-party computation (MPC) based on the GMW protocol, fully written in C#.
privacy
peer-to-peer
mpc
cryptographic-algorithms
secure-computation
multiparty-computation
boolean-circuits
-
Updated
May 5, 2024 - C#
Randomized Response by boolean circuits and z3
-
Updated
Aug 21, 2018 - Jupyter Notebook
Perform gate-level simulations from python
-
Updated
Mar 20, 2023 - Python
Circuit-SAT-solver based on Minisat SAT-solver and supporting circuit-based heuristics
-
Updated
Dec 14, 2022 - C++
-
Updated
Sep 17, 2019 - C++
A boolean circuit visualizer for educational purposes
-
Updated
Mar 29, 2023 - TypeScript
Improve this page
Add a description, image, and links to the boolean-circuits topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-circuits topic, visit your repo's landing page and select "manage topics."