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