Genetic circuit design automation

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

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.

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

A powerful tool for minimizing Boolean functions

An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)

A solution to the Boolean Blindness problem.

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

A collection of utility functions to apply boolean logic on functions (including higher-order). Written (and can be used) in a functional programming style.

Ever needed to compress 32 booleans into a single number?

💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

⊻ A truth table generator.

Algèbre de Bool, Logique Combinatoire et Séquentielle (En Cours...)

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

DSL mini implementation for Mathematics at Rust

Repository containing the simulated schematics of logic gates, counters, adders and registers along with corresponding layouts for semiconductor design.

Minimal disjunctive normal form (MDNF): Table and Result in Qt

Boolean expression visualiser

SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.