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.
An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)
∂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
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
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
AgentFlow (af) — Markdown-first step workflows with deterministic logic gates, a zero-dep CLI, visual Studio canvas & desktop pet for any coding agent (ZCode / Claude Code / Codex CLI) · 通用代理工作流
To associate your repository with the boolean-logic topic, visit your repo's landing page and select "manage topics."