boolean-logic
Here are 127 public repositories matching this topic...
Language:All
Sort:Most stars
Genetic circuit design automation
- Updated
Sep 19, 2022 - Java
Header-only C++17 library for evaluating logical expressions.
- Updated
Jan 25, 2022 - C++
An easy-to-use simulator for logical circuits
- Updated
Jul 29, 2024 - Rust
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
- Updated
Sep 30, 2017 - Assembly
Multiscale simulation of multi-cellular system
- Updated
Jul 31, 2020 - C++
A fast and certifying solver for quantified Boolean formulas.
- Updated
Apr 30, 2024 - C
Nand2Tetris: Building a Modern Computer from First Principles
- Updated
Mar 30, 2020 - Hack
∂B nets: learning discrete, boolean-valued functions by gradient descent
- Updated
Jan 30, 2024 - Mathematica
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.
- Updated
Mar 3, 2025 - C#
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.
- Updated
Apr 30, 2023 - JavaScript
Standard library for Lambda Calculus, finally making LC a practical programming language.
- Updated
Jan 20, 2025
A powerful tool for minimizing Boolean functions
- Updated
Aug 19, 2024 - Python
A solution to the Boolean Blindness problem.
- Updated
Mar 20, 2025 - C#
Fork of the Limboole SAT solver frontend fromhttp://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
- Updated
Sep 19, 2023 - C
Classical logic truth table magma algebra
- Updated
Nov 22, 2023 - Julia
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.
- Updated
Dec 2, 2024 - Python
Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.
- Updated
Feb 28, 2023 - TypeScript
Ever needed to compress 32 booleans into a single number?
- Updated
Jan 2, 2023 - C++
💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE
- Updated
Mar 8, 2025
Simplify logical analysis with our easy-to-use truth table generator. Quickly evaluate your Boolean expressions and view the corresponding truth table in real-time. A handy tool for students and professionals.
- Updated
Apr 18, 2024 - TypeScript
Improve this page
Add a description, image, and links to theboolean-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theboolean-logic topic, visit your repo's landing page and select "manage topics."