GitHub topics: boolean-algebra

Repositories

sgr-m/Digital-Logic-Design-for-CSE

Comprehensive Digital Electronics notes and lecture PDFs for Computer Science and Engineering (CSE). Covers number systems, logic gates, Boolean algebra, combinational and sequential circuits, multiplexers, decoders, and more.

Size: 46.7 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

s-0-p-h-i-a/Arduino_Practice

Beginner Arduino projects exploring embedded systems concepts like circuits, digital I/O, serial communication, and hardware interaction.

Language: C++ - Size: 416 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0

Tamim-saad/4-variable-kMap-Solver

Language: Python - Size: 76.2 KB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Simewu/boolean-minify

Web app for minimizing expressions using Quine-McCluskey from JS oracle, truth table, or SAT instance with don’t-cares, DNF/CNF conversion, Karnaugh maps, and logic circuits.

Language: JavaScript - Size: 4.78 MB - Last synced at: 13 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

larsfrs/logic-expr-core

A TypeScript module that parses, transforms, derives, visualizes and evaluates logic expressions.

Language: TypeScript - Size: 204 KB - Last synced at: 22 days ago - Pushed at: 24 days ago - Stars: 1 - Forks: 0

mamoussa405/ready_set_boole

A project to discover the basics of computer-related mathematics with Boolean Algebra and Sets Theory using Rust

Language: Rust - Size: 2.56 MB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0

nsajko/TwoElementBooleanAlgebra.jl

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

Language: Julia - Size: 22.5 KB - Last synced at: 19 days ago - Pushed at: 29 days ago - Stars: 1 - Forks: 0

mohamedtalhaouii/Electroniques

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

Size: 57.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

nilnul/nilnul._bit_._LIB_

Boolean algebra in code, the best way for representing, and applying knowledge;

Language: C# - Size: 1.11 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

AntoineGagne/a-tree

A dynamic data structure for efficiently indexing arbitrary boolean expressions

Language: Rust - Size: 7.83 MB - Last synced at: 20 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

queelius/fuzzy-logic-search

Fuzzy logic search on plain documents and JSON documents.

Language: Python - Size: 10.9 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

fielding/redstone-university

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

Language: Python - Size: 276 MB - Last synced at: 22 days ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 2

broccolimicro/boolean

Implements cubes, covers, and their associated logic operations

Language: C++ - Size: 213 KB - Last synced at: 13 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

Thorium/Linq.Expression.Optimizer

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

Language: F# - Size: 462 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 111 - Forks: 7

miroiu/string-math

Evaluates a math expression from a string. Supports variables and custom operators.

Language: C# - Size: 183 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 59 - Forks: 5

othonhugo/demorganizer

demorganizer is a Python library designed to analyze, simplify, and refactor complex logical conditions. It provides tools for manipulating logical expressions, applying De Morgan's laws, and formatting output for better readability.

Language: Python - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

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,

Size: 3.97 MB - Last synced at: 25 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

stefanluks/Cobra-da-Verdade

Cobra da Verdade é um jogo educativo inspirado no clássico jogo da cobrinha (Snake), com um diferencial: o objetivo é aprender e praticar Álgebra Booleana de forma divertida e interativa.

Language: C# - Size: 31.7 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

RendieRYU/logic_calculator

Kalkulator logika berbasis web (HTML/CSS/JS murni) dengan parser custom untuk ekspresi boolean, evaluasi variabel interaktif, tabel kebenaran, ekspor TXT, tema gelap/terang, dan fitur share URL.

Language: JavaScript - Size: 29.3 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

AntoineGagne/erl-a-tree

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

Language: Erlang - Size: 41 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

worldoftiveau/CPE133-DigitalLogicDesign

CPE133-DigitalLogicDesign offers labs, Verilog examples, and FPGA projects for digital logic design, covering combinational and sequential circuits, boolean algebra, and timing. 🐙

Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

richardstartin/splitmap

Parallel boolean circuit evaluation

Language: Java - Size: 247 KB - Last synced at: about 2 months ago - Pushed at: about 7 years ago - Stars: 26 - Forks: 2

Spydr06/logicrs

An easy-to-use simulator for logical circuits

Language: Rust - Size: 19 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 62 - Forks: 6

enzzoMs/LogicLab

🧩 A simple website for building, testing, and learning Boolean Algebra (Astro + React).

Language: TypeScript - Size: 661 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

kosarev/eqbool

Testing boolean expressions for equivalence

Language: C++ - Size: 133 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

queelius/jaf

Language: Python - Size: 1.3 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

komorra/SATStreams

SATStreams SAT solving library and CLI solver

Language: C# - Size: 936 KB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

rphii/c-file-tagger

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

Language: C - Size: 1.67 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

Language: Python - Size: 682 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 219 - Forks: 12

Dashulik10/Hardware_systems_BSUIR_AOIS

Лабораторные работы по курсу "Аппаратные основы интеллектуальных систем" на Python

Language: Python - Size: 152 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

madmann91/minbool

Boolean expression simplifier/minimizer

Language: C++ - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 25 - Forks: 7

VanTamNguyen/Nand2Tetris

Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.

Language: Assembly - Size: 2.02 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 36 - Forks: 14

Zartarius/boolean_algebra

Functions and modules to help with problems relating to boolean algebra and digital circuit design. Requires 0 external libraries or packages.

Language: Python - Size: 124 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

SparseLinearAlgebra/spbla

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

Language: C++ - Size: 19 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 15 - Forks: 4

TheSkyler-Dev/LTTG

A CLI tool to convert Boolean expressions into logic truth table.

Language: Common Lisp - Size: 26.4 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

Ldaxar/BooleanQueryParser

Java DSL query engine for simple boolean algebra

Language: Java - Size: 28.3 KB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 2

ChristopherAndrewTopalian/CATopalian_JavaScript_Boolean_Algebra

An in-depth tutorial on Boolean Algebra and how to express Boolean logic using JavaScript.

Size: 11.7 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

thery/robbins

Proof in Coq that all Robbins algebras are Boolean algebras

Language: Coq - Size: 34.2 KB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 1

kevinmichaelchen/cel-typescript

TypeScript binding for cel-rust (CEL, the Common Expression Language), used for policy enforcement, configuration validation, and business rule evaluation.

Language: TypeScript - Size: 184 KB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0

GitProger/ITMO-CT-dm-labs

Discrete Math Labs

Language: C++ - Size: 1.14 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

rapdos-s/42-Ready-Set-Boole

An introduction to Boolean Algebra

Language: C++ - Size: 1.95 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

FireDragon91245/boolean-algebra-evaluator

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

Language: Rust - Size: 43.9 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Eurydia/project-onyx

An interpreter and visualizer for Boolean algebra.

Language: TypeScript - Size: 13.7 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

int-main/Quine-McCluskey

Implementation of Quine McCluskey algorithm in Python 3

Language: Python - Size: 260 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 57 - Forks: 21

OliverKovacs/find-circuit

Python code for finding circuits with a given truth table.

Language: Python - Size: 1.95 KB - Last synced at: 5 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

leogaudin/ready_set_boole

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

Language: Rust - Size: 112 KB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

karlssberg/Motiv

A solution to the Boolean Blindness problem.

Language: C# - Size: 38.5 MB - Last synced at: 23 days ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0

RezaGooner/Karnaugh-Map

The program in GUI that show and minimize with Karnaugh-Map in Python & C++

Language: C++ - Size: 1.59 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

ZERO-S-PLACE/Bouncing_Ball

Game - like application written from scratch

Language: Java - Size: 25.3 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

JacemHaggui/Building-a-Computer-from-Scratch

My work on the project-based course NAND2TETRIS.

Language: Assembly - Size: 4.96 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

zhimbura/boolean-expression-simplify

Multiplatform library witch can make the expression easier

Language: Kotlin - Size: 1.92 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 0

sheabunge/boolcalc

Web application for parsing and evaluating boolean algebra expressions.

Language: JavaScript - Size: 12.8 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 3

CE-Storage/CE212-LD

Logic Design course at Sharif University of Technology

Size: 120 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

Anantiz/42_Ready_set_bool

42 Ready set bool in rust. Introduction to boolean algebra and set-theory

Language: Rust - Size: 5.53 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

InAnYan/boolean-algebra 📦

Boolean function truth table generator

Language: C++ - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

mcarina/Boole-Bots-Pygames

Boole-Bots-Pygames Marcy's version

Language: Python - Size: 3.91 KB - Last synced at: 5 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

SparseLinearAlgebra/cuBool

Sparse linear Boolean algebra for Nvidia Cuda

Language: C++ - Size: 38.8 MB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 24 - Forks: 4

KayelC/ComputingEssentials

Application For Computing Revision

Language: Java - Size: 881 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

m-peko/booleval

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

Language: C++ - Size: 464 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 85 - Forks: 6

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.

Language: Jupyter Notebook - Size: 5.39 MB - Last synced at: 7 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

D3lph1/Boollet

Boolean algebra toolkit for PHP

Language: PHP - Size: 123 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

z1skgr/VHDL-processor-CHARIS

Architecture of processor designed in vhdl

Language: VHDL - Size: 16.4 MB - Last synced at: 4 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

MustafaAamir/balg

A boolean algebra toolkit written in python

Language: Python - Size: 438 KB - Last synced at: 3 days ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

fwcd/circuitbuilder

Graphical boolean circuit editor and simulator

Language: Java - Size: 646 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

DelPineAI/7SegmentDisplay

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

Size: 11.7 KB - Last synced at: 7 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0

matiasvlevi/ludit

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

Language: TypeScript - Size: 657 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced at: 21 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0

djcopley/QuineMcCluskey

A powerful tool for minimizing Boolean functions

Language: Python - Size: 282 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 3

Okwesie/Set-Savants

This project focuses on the intersection of propositional logic, set theory, and Boolean algebra. We have developed a program that enables users to convert propositional expressions—containing variables, conjunctions, disjunctions, negations, and truth values—into various forms, including dual, set notation, and Boolean expression

Language: Python - Size: 7.81 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ddiogoo/nand2tetris Fork of Paganini-Thurler/nand2tetris

Building a computer from scratch to Tetris

Language: Scilab - Size: 12.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

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.

Language: C++ - Size: 2.75 MB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0