Genetic circuit design automation
Header-only C++17 library for evaluating logical expressions.
An easy-to-use simulator for logical circuits
Nand2Tetris: Building a Modern Computer from First Principles
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
Multiscale simulation of multi-cellular system
A fast and certifying solver for quantified Boolean formulas.
∂B nets: learning discrete, boolean-valued functions by gradient descent
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.
Standard library for Lambda Calculus, finally making LC a practical programming language.
A powerful tool for minimizing Boolean functions
A solution to the Boolean Blindness problem.
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)
Classical logic truth table magma algebra
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.
Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.
Mixture of Products (MoP) for Transformers — research prototype
Ever needed to compress 32 booleans into a single number?
Add a description, image, and links to the boolean-logic topic page so that developers can more easily learn about it.
To associate your repository with the boolean-logic topic, visit your repo's landing page and select "manage topics."