boolean-algebra

There are 2 repositories under boolean-algebra topic.

• welchbj / tt

  a Pythonic toolkit for working with Boolean expressions

  boolean-expressionboolean-algebrabooleanpythonsatisfiabilitytruth-tablesat-solversattransformations
  Language:Python 217

• Thorium / Linq.Expression.Optimizer

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

  optimizationreductionlinqoptimisationexpression-treeboolean-algebramathematical-expressionssql
  Language:F# 102

• m-peko / booleval

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

  cpp17filterboolean-expressionexpression-treerecursive-descent-parserevaluationevaluatorlogical-operatorsexpressionexpression-evaluatormodern-cppboolean-logicparser-libraryboolean-operationsboolean-algebraheader-onlycppc-plus-plus
  Language:C++ 81

• int-main / Quine-McCluskey

  Implementation of Quine McCluskey algorithm in Python 3

  boolean-algebraboolean-expressionessential-prime-implicantsfunction-minimizationkarnaugh-mapminimizationmintermpetrick-methodprime-implicantsprime-implicants-tablepythonquine-mccluskeyquine-mccluskey-algorithmquine-mccluskey-technique
  Language:Python 52

• Spydr06 / logicrs

  An easy-to-use simulator for logical circuits

  boolean-algebraboolean-logiccircuitgatesgtkgtk4hacktoberfesthacktoberfest2023libadwaitalibadwaita-rslogiclogic-gatesrustsimulationsimulatorlogicrs
  Language:Rust 48

• dave / brenda

  Brenda is a boolean expression solver for Go AST

  golanggoastbooleanboolean-expressionboolean-algebraboolean-operationsboolean-formulasboolean-satisfiability
  Language:Go 46

• miroiu / string-math

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

  expression-evaluatorexpression-parsercsharpdotnetstringcalculatormathmathematicsstring-mathstring-calculatormath-expressionmath-operationboolean-algebraboolean-expression
  Language:C# 43

• VanTamNguyen / Nand2Tetris

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

  nand2tetrisvirtual-machinehardwaresymbol-tableboolean-logicboolean-algebrasequential-logicmachine-languagecomputer-architectureassembly-languageassemblerhigh-level-languagecompilertokenizersyntax-analysiscode-generationlogic-gatescombinational-logic
  Language:Assembly 32

• louisdh / microcontroller-kit

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

  bitsnibblemicrocontrollerseven-segmentboolean-algebra
  Language:Swift 20

• richardstartin / splitmap

  Parallel boolean circuit evaluation

  bitsetboolean-circuitsboolean-algebrabitmaproaringbitmapindexing
  Language:Java 19
• cuBool

  SparseLinearAlgebra / cuBool

  Sparse linear Boolean algebra for Nvidia Cuda

  cpluspluspythonnvidia-cudasparse-matrixboolean-algebralinear-algebragraphblasgraph-algorithmsgraph-analysis
  Language:C++ 19

• madmann91 / minbool

  Boolean expression simplifier/minimizer

  boolean-algebraminimizerquine-mccluskey-algorithmheader-only
  Language:C++ 18

• sheabunge / boolcalc

  Web application for parsing and evaluating boolean algebra expressions.

  boolean-algebra
  Language:JavaScript 14

• SparseLinearAlgebra / spbla

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

  cplusplussparse-matrixboolean-algebracudaopenclgraphblassuitesparsepythongraph-algorithms
  Language:C++ 14

• tomc128 / boolean-expression-parser

  Boolean expression parser

  abstract-syntax-treebooleanboolean-algebraboolean-expressionlogicpolish-notationprefix-notationtokenization
  Language:C# 10

• VitorgsRuffo / Building-The-Hack-Computer

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

  boolean-algebralogic-gateshardware-description-languagelogic-designcomputer-architecture-fundamentalshardware-platformlogisim
  Language:Scilab 10

• djcopley / QuineMcCluskey

  A powerful tool for minimizing Boolean functions

  digital-logic-simplificationdigital-logicminimizationquine-mccluskeypython3boolean-algebraboolean-logic
  Language:Python 8

• julianthome / ctrans

  Basic constraint transformation library

  dnfboolean-algebrajavacnfconstraint-transformation-library
  Language:Java 8

• SamuelGadiel / nand2tetris

  Nand2Tetris: Building a Modern Computer from First Principles

  nand2tetrisvirtual-machinehardwareboolean-algebraboolean-logicsequential-logicmachine-languagecomputer-architectureassembly-languageassemblercompilerhigh-level-languagesyntax-analysislogic-gates
  Language:Hack 8

• hosseinfani / digital_odyssey

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

  digital-designlogic-circuitsdigital-systemsnumber-systemsboolean-algebralogic-gatescanonical-formskarnaugh-mapcombinational-logicaddersubtractormultiplexersequential-logicflip-flopregistersshift-registercountermemoryprogrammable-logicdecoding
  Language:C++ 7
• ludit

  matiasvlevi / ludit

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

  booleanboolean-algebraboolean-logiclogic-gates
  Language:TypeScript 7

• pepsipu / ban

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

  programming-languageboolean-algebrahdlsimulatorlatexcmath
  Language:C 7

• Ldaxar / BooleanQueryParser

  Java DSL query engine for simple boolean algebra

  astjavadslboolean-algebraquery-languageinterpreter
  Language:Java 6

• OutatimeSoftware / TOBARA

  🧮 The Only Boolean Algebra Reduction App

  boolean-algebradiscrete-mathematicspypi-packagepython-librarypython3
  Language:Python 6

• D3lph1 / Boollet

  Boolean algebra toolkit for PHP

  boolean-algebrasatsat-solvernormal-formszhegalkin-polynomialtruth-table
  Language:PHP 4

• evtn / matlog

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

  boolean-algebratruth-tables
  Language:Python 4

• 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-algebradigital-electronicsjuliastate-machinejulia-language
  Language:Julia 4

• chakravala / DeMorgan.jl

  Classical logic truth table magma algebra

  algebracomputer-algebrajulialogicmathmathematicstruth-tabletruth-table-generatorboolean-algebraboolean-expressionboolean-logiclogical-operatorsproofproof-assistantpropositional-logicreasoning
  Language:Julia 3

• exsandebest / MDNF

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

  minimal-disjunctive-normal-formmdnftableqtlogical-functionboolean-algebraboolean-logicboolean-function
  Language:C++ 3

• hishamcse / Digital-Logic-Simplification_KMap_Tabulation

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

  kmapquine-mccluskeyboolean-algebraexpressmustachebootstrap
  Language:JavaScript 3
• truth-trick

  jonathanjameswatson / truth-trick

  Boolean expression visualiser

  htmljavascriptcssboolean-algebraboolean-logicwebpack
  Language:JavaScript 3

• mohammadkarbalaee / logic-circuit-4j

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

  encodingboolean-algebrabase-conversionlogic-circuitshahid-beheshti-university
  Language:Java 3

• pandadiestro / setbase

  The boolean algebra-based dataset database.

  booleanboolean-algebradatabase
  Language:Go 3

• salahsheikh / boolean-decomposer

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

  javaantlr4boolean-algebraboolean-expression-parsertruth-table
  Language:Java 3

• ShaanCoding / Boolean-Expression-Solver

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

  wpfboolean-algebraboolean-expressionpostfix-evaluationtruth-tabletruth-table-generatorcsharp
  Language:C# 3

• thery / robbins

  Proof in Coq that all Robbins algebras are Boolean algebras

  coqcoq-formalizationtheorem-provingrobbinsboolean-algebra
  Language:Coq 3