Genetic circuit design automation

Header-only C++17 library for evaluating logical expressions.

An easy-to-use simulator for logical circuits

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

Nand2Tetris: Building a Modern Computer from First Principles

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

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

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.

Classical logic truth table magma algebra

Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.

⊻ A truth table generator.

This repository is for learning most important concepts of Python for starting Machine Learning and Deep Learning basics.

Ever needed to compress 32 booleans into a single number?

Multiplatform library witch can make the expression easier