There are 3 repositories under boolean-logic topic.
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
A fast and certifying solver for quantified Boolean formulas.
Gulliver is a C# utility package and library engineered for the manipulation of arbitrary sized byte arrays accounting for appropriate endianness and jagged byte length.
A JavaScript rule engine that models formal propositional logic. It allows you to separate conditional logic from source code and database triggers in a reusable package, where explicit rules can be independently defined and managed.
Nand2Tetris: Building a Modern Computer from First Principles
A powerful tool for minimizing Boolean functions
Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.
Solves boolean expressions and simplifies them, draws logic-circuits and constructs circuits and boolean terms from truth-table values and converts boolean expressions to NAND and NOR.
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Classical logic truth table magma algebra
Ever needed to compress 32 booleans into a single number?
A Bunch of useful .NET extensions.
Minimal disjunctive normal form (MDNF): Table and Result in Qt
Boolean expression visualiser
Este proyecto proporciona una herramienta gráfica para simplificar expresiones booleanas utilizando el método Quine-McCluskey.
SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.
Repository containing the simulated schematics of logic gates, counters, adders and registers along with corresponding layouts for semiconductor design.
A simple parser & evaluator of the arithmetic/logical conditions
Multiplatform library witch can make the expression easier
Visualiser of boolean logic circuits (Unity/C#) - Oct 2019
A teaching aid for concepts and algorithms in logic
This is a preprint of our submitted work on logic and learning in network cascades. It discusses basic biologically-motivated modifications, and implications regarding logic, criticality, spatial constraints, types of error, and information encoding.
A single-header C++ Boolean search library for streaming applications
We have to validate the form on client-server using javascript.
Book Stock Management is an elementary Java program that helps in storing, adding, modifying and deleting of book entries in a systematic way.
Logic math is a discrets mathematics project, developed with the aim of promoting learning and facilitating understanding of the topics related to sets, relations and boolean logic.
A Python library designed for performing Boolean arithmetic. It includes classes for, evaluating Boolean constant expressions and generating truth tables from a given Boolean expression.