Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: boolean-algebra

Thorium/Linq.Expression.Optimizer

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

Language: F# - Size: 418 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 97 - Forks: 6

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: 8 days ago - Pushed: 9 days ago - Stars: 1 - Forks: 0

miroiu/string-math

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

Language: C# - Size: 224 KB - Last synced: 10 days ago - Pushed: about 1 month ago - Stars: 41 - Forks: 4

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.4 MB - Last synced: 16 days ago - Pushed: 17 days ago - Stars: 2 - Forks: 0

reycuba0918/Boolean-Algebra

A Python library designed for performing Boolean arithmetic. It includes classes for, evaluating Boolean constant expressions and generating truth tables from a given Boolean expression.

Language: Python - Size: 105 KB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 1 - Forks: 0

nbingham1/boolean

Implements cubes, covers, and their associated logic operations

Language: C++ - Size: 142 KB - Last synced: 25 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

Language: Python - Size: 559 KB - Last synced: 28 days ago - Pushed: about 4 years ago - Stars: 217 - Forks: 11

ridhu-web/Boolean-Algebra-with-OOP

One can create classes, objects, abstract class, conditional statements using the language designed to perform boolean operation. The language also has partial evaluation implemented in it using monad.

Language: Scala - Size: 133 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Spydr06/logicrs

An easy-to-use simulator for logical circuits

Language: Rust - Size: 19 MB - Last synced: 30 days ago - Pushed: about 2 months ago - Stars: 47 - Forks: 6

henryhale/7-segment-display-decoder

📟 A BCD to seven segment display decoder implementation

Language: JavaScript - Size: 127 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

dishults/ready_set_boole

An introduction to Boolean Algebra

Language: Swift - Size: 515 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

SparseLinearAlgebra/cuBool

Sparse linear Boolean algebra for Nvidia Cuda

Language: C++ - Size: 39.5 MB - Last synced: 24 days ago - Pushed: almost 3 years ago - Stars: 19 - Forks: 3

D3lph1/Boollet

Boolean algebra toolkit for PHP

Language: PHP - Size: 123 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 4 - Forks: 0

RickMoynihan/evalo

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

Language: Clojure - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1

the-pinbo/BooleanCalculator

boolean calculator engine using urp

Language: Python - Size: 80.1 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

wenerme/kori

Kori - Algorithm with kotlin - AlKorithm

Language: Kotlin - Size: 496 KB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 1

richardstartin/splitmap

Parallel boolean circuit evaluation

Language: Java - Size: 247 KB - Last synced: 7 days ago - Pushed: over 5 years ago - Stars: 19 - Forks: 2

brucesdad13/BooleanAlgebra

Java Boolean Algebra Truth Table Generator

Language: Java - Size: 12.7 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

tlux/belp

A simple Boolean Expression Lexer and Parser

Language: Elixir - Size: 49.8 KB - Last synced: about 1 month ago - Pushed: 2 months ago - Stars: 0 - Forks: 1

Aniny21/logi.js

logi.js is a JavaScript library for working with Boolean algebra, logical expressions, truth tables, the Quine-McCluskey algorithm, timing diagrams, and more.

Language: TypeScript - Size: 62.5 KB - Last synced: 28 days ago - Pushed: 2 months ago - Stars: 1 - Forks: 0

djcopley/QuineMcCluskey

A powerful tool for minimizing Boolean functions

Language: Python - Size: 279 KB - Last synced: 26 days ago - Pushed: 5 months ago - Stars: 7 - Forks: 2

judahpaul16/kmaps

Generate Karnaugh maps fast with Python.

Language: Python - Size: 2.38 MB - Last synced: 15 days ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

SparseLinearAlgebra/spbla

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

Language: C++ - Size: 19 MB - Last synced: 24 days ago - Pushed: almost 2 years ago - Stars: 14 - Forks: 4

circuitpotato/truth-table-solver

Visit https://downtothecircuits.com/?p=2677 for more information

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

Vafdaf12/transistor

Educational tool for building boolean logic circuits

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

SillyApproach/DigitalLogicSim

Digital logic simulator based on graph theory concepts

Language: Lua - Size: 20.5 KB - Last synced: 4 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

FranMaric/diglog

Web app that helps you with subject "Digitalna logika" at FER. Check it out!

Language: Dart - Size: 16.1 MB - Last synced: 5 months ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

KayelC/ComputingEssentials

Application For Computing Revision

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

dantemazza/boolean-solver

Flask app that uses Quine-McCluskey/Petrick's algorithms to find least-cost boolean expressions

Language: Python - Size: 106 KB - Last synced: 6 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 3

kenrendell/boolean-minimizer

Minimize Boolean functions using Quine-McCluskey and Petrick's algorithm.

Language: Lua - Size: 22.5 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

alexaraynal/DiscreteMathCalculator

Discrete Math Calculator (Set operations: intersection, union, difference, cartesian product, etc. Relationship properties: validate whether it represnts a funtion or not, reflexivity, symmetry, antisymmetry, transitivity, relationship matrix, etc.)

Language: Java - Size: 36.1 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced: 16 days ago - Pushed: 6 months ago - Stars: 3 - Forks: 0

tristancorbellari/boolean-algebra-eval

A Python OOP implementation of a boolean algebra evaluator for valid CNFs/DNFs.

Language: Python - Size: 6.84 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

TheJollyDuck/Misc-Tools

Just a bunch of tools and programs implemented in C

Language: C - Size: 4.88 KB - Last synced: 7 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

Jack-Slayton/Boolean-Algebra-Pratice

Boolean Algebra Practice. Used for computer science 1 class

Size: 4.88 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

tomc128/boolean-expression-parser

Boolean expression parser

Language: C# - Size: 777 KB - Last synced: 23 days ago - Pushed: over 1 year ago - Stars: 10 - Forks: 1

levi5/Karnaugh-map

web application for simplifying Boolean expressions

Language: JavaScript - Size: 660 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 1

mesut146/boolean

a java library for boolean algebra

Language: Java - Size: 774 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 1

khaihtruong/Remix-Master

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

Language: Python - Size: 5.86 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

ahmed-alllam/AlphaLogos

Boolean Function Analyzer and Synthesis Optimization Tool

Language: C++ - Size: 1.35 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

erikneves04/boolean-expression

Bollean expression solver and analyzer

Language: C++ - Size: 101 KB - Last synced: about 1 month ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

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: about 1 month ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

pedrosbmartins/beard

Boolean Expressions As Rendered Diagrams

Language: TypeScript - Size: 2.64 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

Sapienza-ACSAI/Computer-Architecture

Notes and assets for the Computer Architecture Unit 1 course @ Sapienza

Size: 12.4 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

Andrew-Miner/Bool-Simplifier-Website

Boolean Algebra Simplifier is a single-page React application that reduces boolean expressions to their minimum sum-of-products representations; showing each step along the way.

Language: JavaScript - Size: 37.8 MB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

m-peko/booleval

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

Language: C++ - Size: 464 KB - Last synced: 7 months ago - Pushed: over 2 years ago - Stars: 78 - Forks: 6

DericAugusto/ISN2023_DigitalSystems

Material from the course of Design of Digital Systems at ENSEM - Université de Lorraine.

Language: VHDL - Size: 40.8 MB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

zhimbura/boolean-expression-simplify

Multiplatform library witch can make the expression easier

Language: Kotlin - Size: 1.91 MB - Last synced: 9 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

mohammadkarbalaee/logic-circuit-4j

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

Language: Java - Size: 3.91 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

geovanimelo/atividadeLiterais

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

Language: Python - Size: 3.73 MB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

tom-arm/BoolGate

A logic gate simulation system that has boolean algebra and truth table conversion features.

Language: C# - Size: 301 KB - Last synced: 8 months ago - Pushed: almost 9 years ago - Stars: 2 - Forks: 1

dave/brenda

Brenda is a boolean expression solver for Go AST

Language: Go - Size: 22.5 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 44 - Forks: 5

sid-code/boolalg

A boolean algebra system written in Nim http://www.public.asu.edu/~skulka20/boolalg/

Language: Nim - Size: 24.4 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 1

guptaaniket261/Lexer-and-Parser-of-Boolean-programs

Assignment in Programming Languages Course

Language: Standard ML - Size: 101 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

MahmoudTarek97/Tabular-Method-Project

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

Language: JavaScript - Size: 498 KB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 1

aydnzn/Digital-Systems

This repository contains project work for the Digital Systems course. The projects cover fundamental topics of digital design including Boolean algebra, combinational logic, sequential logic, and state machine design

Size: 1.61 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

hosseinfani/digital_odyssey

Materials for the Computer Science course, Digital Design (Logic Circuits)

Language: C++ - Size: 393 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 3 - Forks: 4

julianthome/ctrans

Basic constraint transformation library

Language: Java - Size: 34.2 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 8 - Forks: 3

alexmolas/fast-filters

How to use boolean algebra to vectorize complex operations and get x2000 speed-up

Language: Jupyter Notebook - Size: 3.33 MB - Last synced: 11 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

singkuangtan/BSnet

Boolean Structured Deep Learning Network (aka BullShit net)

Language: Python - Size: 129 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

timbeurskens/gobdd

An ROBDD & CDCL based SAT solver

Language: Go - Size: 359 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

jmcheon/ready_set_boole

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

Language: C++ - Size: 158 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

Luluiscool/ExoticCraft

ExoticCraft, a rip-off of Minecraft to simulate Computational Redstone

Language: C++ - Size: 1.52 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

LoicKonan/Logic-Design

Logic Design.

Language: VHDL - Size: 3.05 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

vincentmacri/AmazingMaze

Final project for ICS4U0.

Language: Java - Size: 56.4 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 1

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.

Language: Julia - Size: 12.7 KB - Last synced: 9 days ago - Pushed: about 1 year ago - Stars: 4 - Forks: 0

hishamcse/Digital-Logic-Simplification_KMap_Tabulation

https://digital-logic-simplification-k-map-tabulation.vercel.app/

Language: JavaScript - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

sheabunge/boolcalc

Web application for parsing and evaluating boolean algebra expressions.

Language: JavaScript - Size: 12.8 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 14 - Forks: 3

estepona/logic-circuit

simulation of essential combinational logic circuits with boolean algebra

Language: Python - Size: 22.5 KB - Last synced: 2 months ago - Pushed: about 3 years ago - Stars: 1 - Forks: 1

ZavaruKitsu/binary_expressions

I wasted all my holidays on this...

Language: Python - Size: 36.1 KB - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

kema-dev/ready_set_boole 📦

42 | Boolean algebra exercices in Go

Language: Go - Size: 435 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

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

Language: Scilab - Size: 101 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 4 - Forks: 1

REDl3east/bool-search

A command line tool that searches things with boolean expressions.

Language: C - Size: 637 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

thery/robbins

Proof in Coq that all Robbins algebras are Boolean algebras

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

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: 16 days ago - Pushed: about 1 year ago - Stars: 5 - Forks: 0

int-main/Quine-McCluskey

Implementation of Quine McCluskey algorithm in Python 3

Language: Python - Size: 260 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 27 - Forks: 12

matubu/ready_set_boole

🧮 A set of exercises to learn about boolean algebra

Language: Rust - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

exsandebest/MDNF

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

Language: C++ - Size: 1.36 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 2 - Forks: 2

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: about 1 year ago - Pushed: over 6 years ago - Stars: 21 - Forks: 14

natanbc/boolalg-simplifier 📦

Source code for https://boolalg.im-a.dev

Language: Scala - Size: 81.1 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 1

YimanDeng/stanford-cs107-winter2023

These are my notes from class. They reflect more of personal interest than syllabus material and are for study purposes only.

Language: C - Size: 120 KB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

r3dr000ck/nand2tetris

nand2tetris

Language: Assembly - Size: 43.9 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

madmann91/minbool

Boolean expression simplifier/minimizer

Language: C++ - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 10 - Forks: 4

MostafaSaftawy/Nand2Tetris

This is a projects have been completed through 2 parts of nand2tetris course on coursera.

Language: Hack - Size: 165 KB - Last synced: 12 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

sh1ngekyo/Expreval

Fast, Compact, Easy-To-Use Library for evaluating boolean (or your own) expressions.

Language: C# - Size: 51.8 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 0

VitorgsRuffo/Building-The-Hack-Computer

This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.

Language: Scilab - Size: 281 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 8 - Forks: 2

rui-han-crh/Quine-McCluskey-Minimizer

Takes in either a boolean algebraic expression, a sum of minterms expression or a product of maxterms expression and produces the simplest SOP, POS and truth tables and, optionally, the K-Map using Quine-McCluskey

Language: Dart - Size: 554 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

FelixLuciano/Elements-of-Computing-Systems

Develop a computer from ground up. From NAND to Tetris!

Language: VHDL - Size: 5.87 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

bjybs123/Quine-McCluskey-Algorithm

Sophomore C++ project implementing Quine-McCluskey algorithm.

Language: C++ - Size: 26 MB - Last synced: 11 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

AmitGZ/Karnaugh_Solver

Karnaugh map solver

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

ShaanCoding/Boolean-Expression-Solver

A simple boolean expression validator, creating truth tables for boolean expressions

Language: C# - Size: 83 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 3 - Forks: 2

lesomnus/boolal

Evaluate a boolean expression

Language: Go - Size: 12.7 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

CompSciLauren/circuit-maker

:zero: An online GUI for demonstrating binary logic gates

Language: JavaScript - Size: 1.92 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

pepsipu/ban

Boolean Algebra Notation is a programming language that allows the execution of Boolean expressions.

Language: C - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 6 - Forks: 2

InAnYan/BooleanAlgebra1

Boolean function truth table generator

Language: C++ - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 1 - Forks: 1

asubramanian08/PACT-Group-1

Theoretical Computer Science - PACT group 1 with Dr. Rajiv Gandhi

Size: 5.99 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

mell-o-tron/PyKarnaugh

Boolean algebra simplifier based on n-dimensional k-maps

Language: Python - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

MalteQuandt/BooleanSolver

A simple program to solve boolean expressions

Language: Java - Size: 50.8 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

jonathanjameswatson/truth-trick

Boolean expression visualiser

Language: JavaScript - Size: 4.63 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

mohamedsalahh/Truth-Table

Truth table generator

Language: Python - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0