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

Topic: "boolean-algebra"

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

Language: Python - Size: 646 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 219 - Forks: 12

Thorium/Linq.Expression.Optimizer

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

Language: F# - Size: 421 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 109 - Forks: 7

m-peko/booleval

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

Language: C++ - Size: 464 KB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 85 - Forks: 6

miroiu/string-math

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

Language: C# - Size: 224 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 57 - Forks: 5

Spydr06/logicrs

An easy-to-use simulator for logical circuits

Language: Rust - Size: 19 MB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 56 - Forks: 6

dave/brenda

Brenda is a boolean expression solver for Go AST

Language: Go - Size: 22.5 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 46 - Forks: 5

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: about 2 months ago - Pushed at: over 7 years ago - Stars: 34 - Forks: 14

int-main/Quine-McCluskey

Implementation of Quine McCluskey algorithm in Python 3

Language: Python - Size: 260 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 27 - Forks: 12

SparseLinearAlgebra/cuBool

Sparse linear Boolean algebra for Nvidia Cuda

Language: C++ - Size: 38.8 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 24 - Forks: 4

madmann91/minbool

Boolean expression simplifier/minimizer

Language: C++ - Size: 24.4 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 7

richardstartin/splitmap

Parallel boolean circuit evaluation

Language: Java - Size: 247 KB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 2

louisdh/microcontroller-kit

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

Language: Swift - Size: 266 KB - Last synced at: about 1 month ago - Pushed at: about 7 years ago - Stars: 20 - Forks: 2

SparseLinearAlgebra/spbla

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

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

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

tomc128/boolean-expression-parser

Boolean expression parser

Language: C# - Size: 777 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1

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 at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 2

karlssberg/Motiv

A solution to the Boolean Blindness problem.

Language: C# - Size: 38.1 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 9 - Forks: 0

djcopley/QuineMcCluskey

A powerful tool for minimizing Boolean functions

Language: Python - Size: 282 KB - Last synced at: about 21 hours ago - Pushed at: 10 months ago - Stars: 9 - Forks: 3

julianthome/ctrans

Basic constraint transformation library

Language: Java - Size: 34.2 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 8 - Forks: 3

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: 9 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

OutatimeSoftware/TOBARA

🧮 The Only Boolean Algebra Reduction App

Language: Python - Size: 2.18 MB - Last synced at: 21 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 4

pepsipu/ban

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

Language: C - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 2

Stargarth/BooleanQueryParser

Java DSL query engine for simple boolean algebra

Language: Java - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 5 - 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 at: 2 months ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

D3lph1/Boollet

Boolean algebra toolkit for PHP

Language: PHP - Size: 123 KB - Last synced at: about 14 hours ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

evtn/matlog

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

Language: Python - Size: 103 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

rphii/c-file-tagger

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

Language: C - Size: 1.64 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 3 - Forks: 1

thery/robbins

Proof in Coq that all Robbins algebras are Boolean algebras

Language: Coq - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 1

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: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 0

zhimbura/boolean-expression-simplify

Multiplatform library witch can make the expression easier

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

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

jonathanjameswatson/truth-trick

Boolean expression visualiser

Language: JavaScript - Size: 4.78 MB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

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: 2 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

hosseinfani/digital_odyssey

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

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

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 at: 2 months ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

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 at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

alevkov/Karnau

A puzzle game for iOS.

Language: Swift - Size: 32.3 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

exsandebest/MDNF

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

Language: C++ - Size: 1.36 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 3

ShaanCoding/Boolean-Expression-Solver

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

Language: C# - Size: 83 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 2

salahsheikh/boolean-decomposer

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

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

Simsso/Quine-McCluskey-Algorithm

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

Language: C# - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 2

CE-Storage/CE212-LD

Logic Design course at Sharif University of Technology

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

KayelC/ComputingEssentials

Application For Computing Revision

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

z1skgr/VHDL-processor-CHARIS

Architecture of processor designed in vhdl

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

DelPineAI/7SegmentDisplay

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

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

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 2 - 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

mesut146/boolean

a java library for boolean algebra

Language: Java - Size: 774 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

hishamcse/Digital-Logic-Simplification_KMap_Tabulation

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

Language: JavaScript - Size: 64.5 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - 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 at: 3 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

LoicKonan/Logic-Design

Logic Design.

Language: VHDL - Size: 3.05 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

SamuelGadiel/nand2tetris

Nand2Tetris: Building a Modern Computer from First Principles

Language: Hack - Size: 201 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

LiamGraham/truthtable

Tool to create truth tables for boolean expressions

Language: Python - Size: 59.6 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1

seanrmilligan/cse220.com

Site with teaching material for an introductory computer architecture course. Covers topics including number representation, combinatorial logic, assembly programming, and processor design.

Language: HTML - Size: 46.9 KB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

tom-arm/BoolGate

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

Language: C# - Size: 301 KB - Last synced at: over 1 year ago - Pushed at: almost 10 years ago - Stars: 2 - 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: 22 minutes ago - Pushed at: about 1 month ago - Stars: 1 - 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: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

ZERO-S-PLACE/Bouncing_Ball

Game - like application written from scratch

Language: Java - Size: 25.3 MB - Last synced at: 3 months 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.8 MB - Last synced at: 29 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

MustafaAamir/balg

A boolean algebra toolkit written in python

Language: Python - Size: 438 KB - Last synced at: 11 days ago - Pushed at: 7 months ago - Stars: 1 - 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: 3 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

Tamim-saad/4-variable-kMap-Solver

Language: Python - Size: 76.2 KB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 1 - 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 at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

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

judahpaul16/kmaps

Generate Karnaugh maps fast with Python.

Language: Python - Size: 2.38 MB - Last synced at: 6 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

0xallam/AlphaLogos

Boolean Function Analyzer and Synthesis Optimization Tool

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

singkuangtan/BSnet

Boolean Structured Deep Learning Network (aka BullShit net)

Language: Python - Size: 129 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

CompSciLauren/circuit-maker

:zero: An online GUI for demonstrating binary logic gates

Language: JavaScript - Size: 1.92 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

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 at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

r3dr000ck/nand2tetris

nand2tetris

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

bjybs123/Quine-McCluskey-Algorithm

Sophomore C++ project implementing Quine-McCluskey algorithm.

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

InAnYan/boolean-algebra 📦

Boolean function truth table generator

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

sh1ngekyo/Expreval

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

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

Flaise/apbool

Just arbitrary precision boolean arithmetic for Rust.

Language: Rust - Size: 45.9 KB - Last synced at: 22 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

MostafaSaftawy/Nand2Tetris

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

Language: Hack - Size: 165 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - 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 at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 3

FranMaric/diglog

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

Language: Dart - Size: 16.1 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

estepona/logic-circuit

simulation of essential combinational logic circuits with boolean algebra

Language: Python - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

Kunal-Kumar-Sahoo/Sudoku

C++ program to solve Sudoku puzzle recursively

Language: C++ - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

obsfx/kmap-solver-lib

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

Language: TypeScript - Size: 91.8 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

thisIsTheFoxe/functional-swift

Functional programming in Swift

Language: Swift - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

fwcd/circuitbuilder

Graphical boolean circuit editor and simulator

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

ish-joshi/booleanify

Easily type boolean expressions using English text. Actively translates to appropriate symbols for academic communication through Boolean algebra.

Language: JavaScript - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 2

iasjem/truth-table-java

A simple program that demonstrates how a Truth Table works

Language: Java - Size: 3.91 KB - Last synced at: 12 months ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 4

vincentmacri/AmazingMaze

Final project for ICS4U0.

Language: Java - Size: 56.4 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1

lukix/karnaugh-maps

Web app for solving Karnaugh maps using Quine-McCluskey algorithm.

Language: JavaScript - Size: 309 KB - Last synced at: over 2 years ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 1

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: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

AntoineGagne/a-tree

A dynamic data structure for efficiently indexing arbitrary boolean expressions

Language: Rust - Size: 7.83 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

TheSkyler-Dev/LTTG

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

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

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: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

GitProger/ITMO-CT-dm-labs

Discrete Math Labs

Language: C++ - Size: 1.14 MB - Last synced at: about 2 months ago - Pushed at: about 2 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: about 2 months ago - Pushed at: about 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: 37.1 KB - Last synced at: 24 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

broccolimicro/boolean

Implements cubes, covers, and their associated logic operations

Language: C++ - Size: 146 KB - Last synced at: 8 days ago - Pushed at: 2 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: about 15 hours ago - Pushed at: 2 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: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

OliverKovacs/find-circuit

Python code for finding circuits with a given truth table.

Language: Python - Size: 1.95 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - 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: 3 months ago - Pushed at: 3 months ago - Stars: 0 - 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: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

mcarina/Boole-Bots-Pygames

Boole-Bots-Pygames Marcy's version

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