74HCxx logical gates examples
-
Updated
Dec 31, 2016 - Eagle
74HCxx logical gates examples
This wraps the clipper library for performing boolean operations on polygons. Union, intersection, difference and xor are supported. Now with clipper 6.4.0 and support ofPath and ofPolyline.
The public CGAL repository, see the README below
Apply boolean polygon clipping operations (union, intersection, difference, xor) to Polygons & MultiPolygons in your GeoJSON files.
A-Level Computing Project (LogicSim)
Using a SAT solver on randomly generated boolean circuits
A boolean logic-related modded module for the game Keep Talking and Nobody Explodes. Designed and implemented by ZekNikZ.
Reductions of SHA family hash functions to SAT.
Brenda is a boolean expression solver for Go AST
rGWB: A basic solid modeler for Polyhedral 2-Manifold solids. Split, explode and boolean operations supported.
Build a Abstract Syntax Tree from a logic expression string
Boolean calculator written in C# that implements Djikstra's Shunting Yard algorithm and RPN (reverse polish notation).
Lightweight Python package for doing operations concerning Assume-Guarantee (A/G) Contracts and parsing, deriving constraints from, and solving Signal Temporal Logic. Built at DesCyPhy Lab, USC
A boolean function parser and interpreter.
Header-only C++17 library for evaluating logical expressions.
C++ library for boolean operations on contours. Including cubic beziers.
Working on conditions, booleans, loops, etc. in JavaScript and html.
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
1.Python Basics function
Logic gates simulator
Add a description, image, and links to the boolean-operations topic page so that developers can more easily learn about it.
To associate your repository with the boolean-operations topic, visit your repo's landing page and select "manage topics."