Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with boolean-algebra

A curated list of projects in awesome lists tagged with boolean-algebra .

https://github.com/welchbj/tt

a Pythonic toolkit for working with Boolean expressions

boolean boolean-algebra boolean-expression python sat sat-solver satisfiability transformations truth-table

Last synced: 16 Sep 2025

https://github.com/thorium/linq.expression.optimizer

System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer

boolean-algebra expression-tree linq mathematical-expressions optimisation optimization reduction sql

Last synced: 16 May 2025

https://github.com/madmann91/minbool

Boolean expression simplifier/minimizer

boolean-algebra header-only minimizer quine-mccluskey-algorithm

Last synced: 09 Jul 2025

https://github.com/louisdh/microcontroller-kit

Value types, operators and functions for tinkering with microcontrollers in software.

bits boolean-algebra microcontroller nibble seven-segment

Last synced: 24 Apr 2025

https://github.com/sparselinearalgebra/spbla

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations

boolean-algebra cplusplus cuda graph-algorithms graphblas opencl python sparse-matrix suitesparse

Last synced: 02 Jan 2026

https://github.com/sheabunge/boolcalc

Web application for parsing and evaluating boolean algebra expressions.

boolean-algebra

Last synced: 08 Sep 2025

https://github.com/matiasvlevi/ludit

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

boolean boolean-algebra boolean-logic logic-gates

Last synced: 05 Mar 2026

https://github.com/integraledelebesgue/digitalelectronics

A digital electronics computational toolset - boolean minimization, flip-flop-based circuits and pattern detection state machines design. Created as an embellishment for Digital Electronics course assignments.

boolean-algebra digital-electronics julia julia-language state-machine

Last synced: 24 Jul 2025

https://github.com/evtn/matlog

a tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions)

boolean-algebra truth-tables

Last synced: 27 Oct 2025

https://github.com/exsandebest/mdnf

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

boolean-algebra boolean-function boolean-logic logical-function mdnf minimal-disjunctive-normal-form qt table

Last synced: 18 Sep 2025

https://github.com/mo-karbalaee/logic-circuit-4j

A Java library which contains full implementation of everything you might find in a logic circuit undergraduate course.

base-conversion boolean-algebra encoding logic-circuit shahid-beheshti-university

Last synced: 02 Aug 2025

https://github.com/salahsheikh/boolean-decomposer

Parses and computes a truth table for any logical expression using ANTLR4

antlr4 boolean-algebra boolean-expression-parser java truth-table

Last synced: 04 Mar 2026

https://github.com/simsso/quine-mccluskey-algorithm

C# implementation of the Quine-McCluskey algorithm and Petrick's method

boolean-algebra logic quine-mccluskey

Last synced: 19 Jun 2026

https://github.com/the-pinbo/robdd

A binary decision diagram is a directed acyclic graph used to represent a Boolean function. The ROBDD is a canonical form, which means that given an identical ordering of input variables, equivalent Boolean functions will always reduce to the same ROBDD.

bdd bdds boolean-algebra graphviz-dot ipynb-jupyter-notebook pthon3 robdd vlsi vlsi-cad

Last synced: 02 Mar 2025

https://github.com/rphii/c-file-tagger

Simple CLI tool to store, systematically retrieve and manage tags of anything

boolean-algebra c cli command-line-tool file-tagging linux lookup-table tagging tags vector

Last synced: 11 Apr 2025

https://github.com/mohammadkarbalaee/logic-circuit-4j

A Java library which contains full implementation of everything you might find in a logic circuit undergraduate course.

base-conversion boolean-algebra encoding logic-circuit shahid-beheshti-university

Last synced: 03 Jul 2025

https://github.com/thery/robbins

Proof in Coq that all Robbins algebras are Boolean algebras

boolean-algebra coq coq-formalization robbins theorem-proving

Last synced: 04 Jul 2025

https://github.com/lironmiz/nand2tetriscourse

acadamic course in campus il about building a modern computer from basic logic gates such as "nand" to a general computer architecture that is designed execute any program such as "Tetris". and also building assambler

adders assembler assembly boolean-algebra boolean-arithmetic clock code-generation computer-architecture course cpu cycles flip-flops hardware-description-language learning-by-doing logic-gates machine-language memory-units parsing project register

Last synced: 02 Apr 2025

https://github.com/delpineai/7segmentdisplay

7-Segment Alphanumeric Display using VHDL. Programmed with pure Boolean algebra.

7segment alphanumeric alphanumeric-display boolean boolean-algebra boolean-logic coding logic-gates programming vhdl vivado

Last synced: 21 Jan 2026

https://github.com/mohamedtalhaouii/electroniques

Algèbre de Bool et Logique Combinatoire, Séquentielle.

boolean-algebra electronics logic

Last synced: 18 Jan 2026

https://github.com/nsajko/twoelementbooleanalgebra.jl

Simplest non-trivial Boolean algebra, the two-element Boolean algebra

boolean boolean-algebra boolean-logic logic logical-operators

Last synced: 18 Feb 2026

https://github.com/leogaudin/ready_set_boole

42 • An introduction guide to Boolean Algebra, to discover the way computers work mathematically.

42 binary boolean-algebra logic ready-set-boole rust set-theory

Last synced: 05 Oct 2025

https://github.com/nahiyan/cryptanalysis

A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.

boolean-algebra cadical cdcl-solver cryptominisat cube-and-conquer glucose kissat lookahead-solver maplesat march sat-solver

Last synced: 11 May 2026

https://github.com/fwcd/circuitbuilder

Graphical boolean circuit editor and simulator

boolean-algebra boolean-circuit-simulator

Last synced: 03 Mar 2026

https://github.com/mustafaaamir/balg

A boolean algebra toolkit written in python

boolean-algebra boolean-expression python3 quine-mccluskey

Last synced: 30 Jan 2026

https://github.com/judahpaul16/kmaps

Generate Karnaugh maps fast with Python.

boolean-algebra express karnaugh-map python reactjs saas seaborn

Last synced: 16 Apr 2026

https://github.com/InAnYan/boolean-algebra

Boolean function truth table generator

boolean-algebra console-application truth-table

Last synced: 29 Aug 2025

https://github.com/obsfx/kmap-solver-lib

This is a utility function that is using in kmap-solver to solve Karnaugh Maps up to 4 variables.

boolean-algebra karnaugh-map karnaugh-map-simplifier karnaugh-map-solver library logic typescript utility

Last synced: 07 Jan 2026

https://github.com/inanyan/boolean-algebra

Boolean function truth table generator

boolean-algebra console-application truth-table

Last synced: 01 Nov 2025

https://github.com/firedragon91245/boolean-algebra-evaluator

A simple rust programm to interpret boolean algebra expressions using a Tokenizer & Recursive Decent AST building

boolean-algebra evaluator rust truth-table-generator

Last synced: 29 Oct 2025

https://github.com/mtarek97/tabular-method-project

A software implementation of the Quine–McCluskey algorithm for the minimization of boolean functions

boolean-algebra html javascript

Last synced: 04 Oct 2025

https://github.com/the-pinbo/booleancalculator

boolean calculator engine using urp

boolean-algebra boolean-expression pcn python3 urp vlsi-cad

Last synced: 13 May 2025

https://github.com/theoliverlear/boolean-logic-tool

A Spring Boot project to help people learn boolean logic and solve boolean formulas.

binary boolean-algebra boolean-logic full-stack spring-boot truth-table-generator website

Last synced: 20 May 2026

https://github.com/wenerme/kori

Kori - Algorithm with kotlin - AlKorithm

algorithms boolean-algebra boolean-expression

Last synced: 27 Jun 2025

https://github.com/khaihtruong/remix-master

A remix master program that allow user to remix the songs in a playlist

boolean-algebra for-loop lists-python while-loop

Last synced: 11 Apr 2025

https://github.com/fielding/redstone-university

An interactive course on computer science and digital architecture, built from the ground up in Minecraft.

bitwise-operators boolean-algebra boolean-logic computer-science course digital-architecture minecraft

Last synced: 10 Aug 2025

https://github.com/vafdaf12/transistor

Educational tool for building boolean logic circuits

boolean-algebra cpp sfml

Last synced: 12 Jul 2025

https://github.com/brucesdad13/booleanalgebra

Java Boolean Algebra Truth Table Generator

boolean-algebra boolean-expression java work-in-progress

Last synced: 16 May 2025

https://github.com/jmcheon/ready_set_boole

Discover the basics of computer-related mathematics with Boolean Algebra and Sets Theory

boolean-algebra cpp set-theory space-filling-curves

Last synced: 12 May 2026

https://github.com/eurydia/project-onyx

An interpreter and visualizer for Boolean algebra.

boolean-algebra boolean-logic lexical-analyzer muiv6 parser react syntax-tree

Last synced: 15 May 2026

https://github.com/mcarina/boole-bots-pygames

Boole-Bots-Pygames Marcy's version

boolean-algebra pygames python

Last synced: 01 Apr 2025

https://github.com/tlux/belp

A simple Boolean Expression Lexer and Parser

boolean-algebra boolean-expression elixir expression-evaluator hex-package lexer-parser

Last synced: 12 Jun 2025

https://github.com/geovanimelo/atividadeliterais

Aplicação para a obtenção dos literais em expressões de lógica booleana (IA).

ai algebra-booleana boolean boolean-algebra boolean-expression boolean-logic expressao-booleana ia literais literals logica-booleana

Last synced: 05 Oct 2025

https://github.com/mcquerol/bcd-to-seven-segment-e-simulation

This repository explores the design of a seven-segment display decoder focused on segment 'e'. It compares various logic design methods—including sum of products, product of sums, and NOR gate implementations—using Boolean algebra and Karnaugh maps. The study concludes that the NOR gate circuit is the most efficient, requiring only three NOR gates,

boolean-algebra circuit-design de-morgans-laws digital-logic karnaugh-map nor-gates product-of-sums schematic-design seven-segment-display sum-of-products

Last synced: 14 Feb 2026

https://github.com/matubu/ready_set_boole

🧮 A set of exercises to learn about boolean algebra

boolean-algebra rust

Last synced: 11 Oct 2025

https://github.com/rickmoynihan/evalo

Experiments fooling around with relational interpretation - run a subset of clojure backwards

boolean-algebra clojure logic-programming minikanren

Last synced: 12 Oct 2025

https://github.com/oliverkovacs/find-circuit

Python code for finding circuits with a given truth table.

algorithms boolean-algebra circuits z3

Last synced: 27 Oct 2025

https://github.com/antoinegagne/erl-a-tree

A NIF for the https://crates.io/crates/a-tree crate (WIP)

boolean-algebra boolean-expression boolean-logic data-structure erlang-nif event-filtering rustler

Last synced: 27 Oct 2025