boolean-algebra
There are 166 repositories under boolean-algebra topic.
welchbj/tt
a Pythonic toolkit for working with Boolean expressions
Thorium/Linq.Expression.Optimizer
System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
m-peko/booleval
Header-only C++17 library for evaluating logical expressions.
Spydr06/logicrs
An easy-to-use simulator for logical circuits
miroiu/string-math
Evaluates a math expression from a string. Supports variables and custom operators.
int-main/Quine-McCluskey
Implementation of Quine McCluskey algorithm in Python 3
dave/brenda
Brenda is a boolean expression solver for Go AST
SamuelGadiel/nand2tetris
Nand2Tetris: Building a Modern Computer from First Principles
VanTamNguyen/Nand2Tetris
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
richardstartin/splitmap
Parallel boolean circuit evaluation
madmann91/minbool
Boolean expression simplifier/minimizer
SparseLinearAlgebra/cuBool
Sparse linear Boolean algebra for Nvidia Cuda
louisdh/microcontroller-kit
Value types, operators and functions for tinkering with microcontrollers in software.
sheabunge/boolcalc
Web application for parsing and evaluating boolean algebra expressions.
SparseLinearAlgebra/spbla
Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
VitorgsRuffo/Building-The-Hack-Computer
This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.
tomc128/boolean-expression-parser
Boolean expression parser
djcopley/QuineMcCluskey
A powerful tool for minimizing Boolean functions
hosseinfani/digital_odyssey
Materials for the Computer Science course, Digital Design (Logic Circuits)
julianthome/ctrans
Basic constraint transformation library
chakravala/DeMorgan.jl
Classical logic truth table magma algebra
pepsipu/ban
Boolean Algebra Notation is a programming language that allows the execution of Boolean expressions.
Ldaxar/BooleanQueryParser
Java DSL query engine for simple boolean algebra
matiasvlevi/ludit
Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.
OutatimeSoftware/TOBARA
š§® The Only Boolean Algebra Reduction App
alevkov/Karnau
A puzzle game for iOS.
Andrew-Miner/Bool-Simplifier-Website
Boolean Algebra Simplifier is a single-page React application that reduces boolean expressions to their minimum sum-of-products representations; showing each step along the way.
D3lph1/Boollet
Boolean algebra toolkit for PHP
evtn/matlog
a tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions)
integraledelebesgue/DigitalElectronics
A digital electronics computational toolset - boolean minimization, flip-flop-based circuits and pattern detection state machines design. Created as an embellishment for Digital Electronics course assignments.
hishamcse/Digital-Logic-Simplification_KMap_Tabulation
https://digital-logic-simplification-k-map-tabulation.vercel.app/
mohammadkarbalaee/logic-circuit-4j
A Java library which contains full implementation of everything you might find in a logic circuit undergraduate course.
pandadiestro/setbase
The boolean algebra-based dataset database.
rphii/c-file-tagger
Simple CLI tool to store, systematically retrieve and manage tags of anything
the-pinbo/ROBDD
A binary decision diagram is a directed acyclic graph used to represent a Boolean function. The ROBDD is a canonical form, which means that given an identical ordering of input variables, equivalent Boolean functions will always reduce to the same ROBDD.
zhimbura/boolean-expression-simplify
Multiplatform library witch can make the expression easier