Thorium/Linq.Expression.Optimizer

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

Language: F# - Size: 429 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 110 - Forks: 7

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: 24 days ago - Pushed at: 24 days ago - Stars: 3 - 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: 26 days ago - Pushed at: 26 days 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: almost 3 years ago - Stars: 15 - Forks: 4

miroiu/string-math

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

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

AntoineGagne/a-tree

A dynamic data structure for efficiently indexing arbitrary boolean expressions

Language: Rust - Size: 7.83 MB - Last synced at: about 1 month ago - Pushed at: about 1 month 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: about 1 month ago - Pushed at: about 1 month 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 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

welchbj/tt

a Pythonic toolkit for working with Boolean expressions

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

thery/robbins

Proof in Coq that all Robbins algebras are Boolean algebras

Language: Coq - Size: 34.2 KB - Last synced at: 2 days ago - Pushed at: about 2 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: 6 days ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

GitProger/ITMO-CT-dm-labs

Discrete Math Labs

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

broccolimicro/boolean

Implements cubes, covers, and their associated logic operations

Language: C++ - Size: 173 KB - Last synced at: 4 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0

Eurydia/project-onyx

An interpreter and visualizer for Boolean algebra.

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

Spydr06/logicrs

An easy-to-use simulator for logical circuits

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

madmann91/minbool

Boolean expression simplifier/minimizer

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

int-main/Quine-McCluskey

Implementation of Quine McCluskey algorithm in Python 3

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

karlssberg/Motiv

A solution to the Boolean Blindness problem.

Language: C# - Size: 37.6 MB - Last synced at: 11 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: 3 months ago - Pushed at: 3 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: 4 months ago - Pushed at: 4 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: 4 months ago - Pushed at: 4 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: 4 months ago - Pushed at: 4 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: 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: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0

Tamim-saad/4-variable-kMap-Solver

Language: Python - Size: 76.2 KB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 1 - 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

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

richardstartin/splitmap

Parallel boolean circuit evaluation

Language: Java - Size: 247 KB - Last synced at: about 19 hours ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 2

mcarina/Boole-Bots-Pygames

Boole-Bots-Pygames Marcy's version

Language: Python - Size: 3.91 KB - Last synced at: 26 days ago - Pushed at: 5 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 20 hours ago - Pushed at: about 21 hours ago - Stars: 24 - Forks: 4

queelius/fuzzy-logic-search

Fuzzy logic search on plain documents and JSON documents.

Language: Python - Size: 10.8 MB - Last synced at: 10 days ago - Pushed at: 6 months ago - Stars: 1 - 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: 6 days ago - Pushed at: 2 months ago - Stars: 0 - 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

m-peko/booleval

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

Language: C++ - Size: 464 KB - Last synced at: 3 months ago - Pushed at: over 3 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: 3 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

D3lph1/Boollet

Boolean algebra toolkit for PHP

Language: PHP - Size: 123 KB - Last synced at: 15 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: 3 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

MustafaAamir/balg

A boolean algebra toolkit written in python

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

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

DelPineAI/7SegmentDisplay

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

Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: 8 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: 9 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: 7 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

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: over 7 years ago - Stars: 34 - Forks: 14

djcopley/QuineMcCluskey

A powerful tool for minimizing Boolean functions

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

matubu/ready_set_boole 📦

🧮 A set of exercises to learn about boolean algebra

Language: Rust - Size: 17.6 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

theoliverlear/Boolean-Logic-Tool

A Spring Boot project to help people learn boolean logic and solve boolean formulas.

Language: Java - Size: 398 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

mur073/anti-de

Project to assist students in writing their lab work for the 1st year, 2nd semester (discrete mathematics).

Language: JavaScript - Size: 2.73 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

dave/brenda

Brenda is a boolean expression solver for Go AST

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

badea-codrut-cti/proiectare-logica

Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

iasjem/truth-table-java

A simple program that demonstrates how a Truth Table works

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

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

henryhale/7-segment-display-decoder

📟 A BCD to seven segment display decoder implementation

Language: JavaScript - Size: 120 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1

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

jonathanjameswatson/truth-trick

Boolean expression visualiser

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

salahsheikh/boolean-decomposer

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

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

dishults/ready_set_boole

An introduction to Boolean Algebra

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

brucesdad13/BooleanAlgebra

Java Boolean Algebra Truth Table Generator

Language: Java - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tlux/belp

A simple Boolean Expression Lexer and Parser

Language: Elixir - Size: 49.8 KB - Last synced at: 3 days ago - Pushed at: about 1 year 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 at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

judahpaul16/kmaps

Generate Karnaugh maps fast with Python.

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

circuitpotato/truth-table-solver

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

Language: Python - Size: 44.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year 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: 177 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 0 - 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 at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 2

Vafdaf12/transistor

Educational tool for building boolean logic circuits

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

SillyApproach/DigitalLogicSim

Digital logic simulator based on graph theory concepts

Language: Lua - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: about 4 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 at: over 1 year ago - Pushed at: about 4 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: almost 4 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 at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - 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 at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: about 4 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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

levi5/Karnaugh-map

web application for simplifying Boolean expressions

Language: JavaScript - Size: 660 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

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

exsandebest/MDNF

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

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

0xallam/AlphaLogos

Boolean Function Analyzer and Synthesis Optimization Tool

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

erikneves04/boolean-expression

Bollean expression solver and analyzer

Language: C++ - Size: 101 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

pedrosbmartins/beard

Boolean Expressions As Rendered Diagrams

Language: TypeScript - Size: 2.64 MB - Last synced at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Simsso/Quine-McCluskey-Algorithm

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

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

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

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

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

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

Assignment in Programming Languages Course

Language: Standard ML - Size: 101 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

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

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

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

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

Luluiscool/ExoticCraft

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

Language: C++ - Size: 1.52 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - 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