Projects in Awesome Lists tagged with boolean-logic

https://github.com/CIDARLAB/cello

Genetic circuit design automation

bio-design-automation boolean-logic cello circuit genetic-circuit-design-automation synthetic-biology

Last synced: 01 May 2025

https://github.com/m-peko/booleval

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

boolean-algebra boolean-expression boolean-logic boolean-operations c-plus-plus cpp cpp17 evaluation evaluator expression expression-evaluator expression-tree filter header-only logical-operators modern-cpp parser-library recursive-descent-parser

Last synced: 22 Nov 2024

https://github.com/spydr06/logicrs

An easy-to-use simulator for logical circuits

boolean-algebra boolean-logic circuit gates gtk gtk4 hacktoberfest hacktoberfest2023 libadwaita libadwaita-rs logic logic-gates logicrs rust simulation simulator

Last synced: 19 Dec 2024

https://github.com/vantamnguyen/nand2tetris

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

assembler assembly-language boolean-algebra boolean-logic code-generation combinational-logic compiler computer-architecture hardware high-level-language logic-gates machine-language nand2tetris sequential-logic symbol-table syntax-analysis tokenizer virtual-machine

Last synced: 10 Apr 2025

https://github.com/sandialabs/gulliver

Gulliver is a C# utility package and library engineered for the manipulation of arbitrary sized byte arrays accounting for appropriate endianness and jagged byte length.

arcus big-endian binary bitwise boolean-logic byte-array bytearray bytes c-sharp dotnet endian endianness little-endian math scr-2405 snl-other

Last synced: 09 May 2025

https://github.com/commonality/archetypes-rules

A JavaScript rule engine that models formal propositional logic. It allows you to separate conditional logic from source code and database triggers in a reusable package, where explicit rules can be independently defined and managed.

archetype-pattern boolean-logic facts json node node-module nodejs rpn rule-context rule-overrides rule-sets rules rules-engine

Last synced: 07 May 2025

https://github.com/aartaka/stdlambda

Standard library for Lambda Calculus, finally making LC a practical programming language.

arithmetic boolean-logic cons lambda-calculus list recursion set stdlib

Last synced: 05 Apr 2025

https://github.com/djcopley/quinemccluskey

A powerful tool for minimizing Boolean functions

boolean-algebra boolean-logic digital-logic digital-logic-simplification minimization python3 quine-mccluskey

Last synced: 09 Apr 2025

https://github.com/matiasvlevi/ludit

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

boolean boolean-algebra boolean-logic logic-gates

Last synced: 30 Apr 2025

https://github.com/sidney-pham/truth-tables

⊻ A truth table generator.

boolean-logic propositional-logic truth-table

Last synced: 27 Apr 2025

https://github.com/flexycode/ccomporg

💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE

architectural-patterns architecture boolean-logic computer-architecture computer-organization logic-diagram logic-gates truth-table

Last synced: 18 Jun 2025

https://github.com/jonathanjameswatson/truth-trick

Boolean expression visualiser

boolean-algebra boolean-logic css html javascript webpack

Last synced: 11 Feb 2025

https://github.com/sathyasris27/vlsi_design

Repository containing the simulated schematics of logic gates, counters, adders and registers along with corresponding layouts for semiconductor design.

boolean-logic circuits counters semiconductors vlsi-design

Last synced: 27 Feb 2025

https://github.com/exsandebest/mdnf

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

boolean-algebra boolean-function boolean-logic logical-function mdnf minimal-disjunctive-normal-form qt table

Last synced: 11 Jan 2025

https://github.com/chakravala/demorgan.jl

Classical logic truth table magma algebra

algebra boolean-algebra boolean-expression boolean-logic computer-algebra julia logic logical-operators math mathematics proof proof-assistant propositional-logic reasoning truth-table truth-table-generator

Last synced: 12 Mar 2025

https://github.com/josefdc/quine-mccluskey

Este proyecto proporciona una herramienta gráfica para simplificar expresiones booleanas utilizando el método Quine-McCluskey.

boolean-logic python3 quinemccluskey

Last synced: 13 Apr 2025

https://github.com/khaledhosseini/propositional-logic

propositional logic evaluator that creates truth tables for propositional expressions, written in rust.

boolean-expression boolean-logic propositional-logic rust rust-lang truth-table truth-table-generator

Last synced: 24 Mar 2025

https://github.com/theinvincibleknight/bookstockmanagementsystem

Book Stock Management is an elementary Java program that helps in storing, adding, modifying and deleting of book entries in a systematic way.

bookmanagementsystem boolean-logic command-line-interface command-line-tool corejava exception-handling java storing-data

Last synced: 09 Apr 2025

https://github.com/delpineai/7segmentdisplay

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

7segment alphanumeric alphanumeric-display boolean boolean-algebra boolean-logic coding logic-gates programming vhdl vivado

Last synced: 06 Apr 2025

https://github.com/rekola/boolean-search

A single-header C++ Boolean search library for streaming applications

boolean boolean-logic c-plus-plus cplusplus search-algorithm string-matching

Last synced: 07 Apr 2025

https://github.com/rambodrahmani/dalle_porte_and_or_not_al_sistema_calcolatore

Dalle Porte AND OR NOT Al Sistema Calcolatore. Un viaggio nel mondo delle reti logiche in campagnia del linguaggio Verilog.

altera boolean-algebra boolean-logic logic-gates modelsim verilog

Last synced: 19 Feb 2025

https://github.com/welingtonms/logical

Execute, chain & compose logical operations.

and boolean boolean-logic javascript logic-gates logical-operators nand or xor

Last synced: 23 Feb 2025

https://github.com/ibisbra91/java_se_recap

Java is a programming language with which we can develop cross-platform software thanks to the JVM (Java Virtual Machine). 🌱 Here I reviewed fundamental characteristics of the language and practiced its bases. I used InteliJ IDEA IDE, JShell, JavaDocs, conditionals, cycles, 1,2,3 and 4-dimensional arrays, I implemented functions, ... 💚🔥

arrays boolean-expressions boolean-logic conditionals do-while-loop exercises for-each for-loop functions if-else jar javadoc-documentation math switch-case while-loop

Last synced: 15 Jun 2025

https://github.com/antoinegagne/a-tree

A dynamic data structure for efficiently indexing arbitrary boolean expressions

boolean-algebra boolean-expression boolean-logic data-structures event-filtering rust-crate rust-lang rust-library tree-structure

Last synced: 29 Jan 2025

https://github.com/ewdlop/logic-note

boolean-logic computer-assisted-proof first-order-logic formal-logic fuzzy-logic many-valued-logic modal-logic predicate-logic proofs-as-programs propositional-calculus three-state-logic three-valued-logic

Last synced: 18 Feb 2025

https://github.com/henryhale/7-segment-display-decoder

📟 A BCD to seven segment display decoder implementation

bcd-to-7-segment bcd-to-decimal boolean-algebra boolean-expression boolean-logic decoder display-decoder-javascript electronics henryhale html-css-javascipt html-css-js javascript javascript-project number-systems seven-segment seven-segment-decoder seven-segment-display seven-segments-display

Last synced: 26 Feb 2025

https://github.com/bilgehangecici/satsolver

A simple Sat Solver program for Boolean Satisfiability Problem works with Brute Force.

boolean-logic java sat-solver

Last synced: 30 Mar 2025

https://github.com/arhik/booleanad

Automatic Differentiation rules for Boolean Types and functions.

automatic-differentiation boolean-logic flux julia-language machine-learning

Last synced: 19 Feb 2025

https://github.com/j-jzk/logik

A logic circuit simulator

boolean-logic circuit-simulator kotlin logic-gates

Last synced: 15 Mar 2025

https://github.com/zeknikz/ktane_booleanvenn

A boolean logic-related modded module for the game Keep Talking and Nobody Explodes. Designed and implemented by ZekNikZ.

boolean-expression boolean-logic boolean-operations ktane modding modding-games unity

Last synced: 23 Mar 2025

https://github.com/anishsharma21/nand2tetris

This repository tracks my progress in building the hardware and software of a computer from scratch - a journey that will take me from the basics of logic gates to building a fully functioning computer and operating system.

assembly boolean-logic compilers computer-architecture logic-gates machine-language nand2tetris operating-systems