boolean-logic

There are 3 repositories under boolean-logic topic.

CIDARLAB / cello
Genetic circuit design automation
bio-design-automation boolean-logic cello circuit genetic-circuit-design-automation synthetic-biology
Language:Java 842
m-peko / booleval
Header-only C++17 library for evaluating logical expressions.
cpp17 filter boolean-expression expression-tree recursive-descent-parser evaluation evaluator logical-operators expression expression-evaluator modern-cpp boolean-logic parser-library boolean-operations boolean-algebra header-only cpp c-plus-plus
Language:C++ 85
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 rust simulation simulator logicrs
Language:Rust 56
VanTamNguyen / Nand2Tetris
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
nand2tetris virtual-machine hardware symbol-table boolean-logic boolean-algebra sequential-logic machine-language computer-architecture assembly-language assembler high-level-language compiler tokenizer syntax-analysis code-generation logic-gates combinational-logic
Language:Assembly 34
PhysiBoSS
gletort / PhysiBoSS
Multiscale simulation of multi-cellular system
agent-based-modeling agent-based-simulation biology boolean-logic cell multiscale-simulation
Language:C++ 26
MarkusRabe / cadet
A fast and certifying solver for quantified Boolean formulas.
qbf-solver boolean-logic boolean-satisfiability boolean-function skolem-function sat-solver
Language:C 26
SamuelGadiel / nand2tetris
Nand2Tetris: Building a Modern Computer from First Principles
assembler assembly-language boolean-algebra boolean-logic compiler computer-architecture hardware high-level-language logic-gates machine-language nand2tetris sequential-logic syntax-analysis virtual-machine
Language:Hack 23
Z80coder / db-nets
∂B nets: learning discrete, boolean-valued functions by gradient descent
boolean-logic interpretable-deep-learning machine-learning machine-learning-algorithms neural-networks tinyml
Language:Mathematica 21
Gulliver
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.
endianness endian bytes bytearray math binary boolean-logic dotnet byte-array bitwise big-endian little-endian arcus c-sharp snl-other scr-2405
Language:C# 16
aartaka / stdlambda
Standard library for Lambda Calculus, finally making LC a practical programming language.
arithmetic boolean-logic cons lambda-calculus list recursion set stdlib
14
archetypes-rules
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.
rules rules-engine archetype-pattern boolean-logic rpn rule-context facts json rule-overrides rule-sets nodejs node node-module
Language:JavaScript 14
djcopley / QuineMcCluskey
A powerful tool for minimizing Boolean functions
boolean-algebra boolean-logic digital-logic digital-logic-simplification minimization python3 quine-mccluskey
Language:Python 9
karlssberg / Motiv
A solution to the Boolean Blindness problem.
domain-driven-design explanability functional specification-pattern boolean-algebra boolean-logic boolean-satisfiability boolean-blindness
Language:C# 9
maximaximal / limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
sat webassembly boolean-logic propositional-logic teaching computer-science bootstrap4 javascript
Language:C 8
chakravala / DeMorgan.jl
Classical logic truth table magma algebra
algebra computer-algebra julia logic math mathematics truth-table truth-table-generator boolean-algebra boolean-expression boolean-logic logical-operators proof proof-assistant propositional-logic reasoning
Language:Julia 7
MaxWolf-01 / TruthTabler
Solves boolean expressions and simplifies them, draws logic-circuits and constructs circuits and boolean terms from truth-table values and converts boolean expressions to NAND and NOR.
boolean-expression boolean-logic logic-circuit logic-gates python
Language:Python 7
ludit
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
Language:TypeScript 6
R3X-G1L6AME5H / gdnative-flagdb
Ever needed to compress 32 booleans into a single number?
boolean-logic commpression database bitwise-operations gdnative gdnative-plugin
Language:C++ 5
Aramrt / PythonDoc
This repository is for learning most important concepts of Python for starting Machine Learning and Deep Learning basics.
python3 variable strings boolean-logic conditional-statements loops list dictionary tuple libraries files csv-files lambda-functions oops-in-python numpy pandas matplotlib
Language:Jupyter Notebook 4
felixstrobel / truth-table
Simplify logical analysis with our easy-to-use truth table generator. Quickly evaluate your Boolean expressions and view the corresponding truth table in real-time. A handy tool for students and professionals.
boolean-expression boolean-expression-parser boolean-logic logical-expression logical-operators truth-table truth-table-generator
Language:TypeScript 4
flexycode / CCOMPORG
💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE
architectural-patterns architecture boolean-logic computer-architecture computer-organization logic-diagram logic-gates truth-table
4
sidney-pham / truth-tables
⊻ A truth table generator.
truth-table boolean-logic propositional-logic
Language:JavaScript 4
D-Diyare / FluentExtensions
A Bunch of useful .NET extensions.
fluent fluentextension fluentextensions extension extension-methods dotnet datetime string-matching stringextensions date time csharp csharp-extensions extensions extensionsmethods generics string numbers boolean-logic
Language:C# 3
exsandebest / MDNF
Minimal disjunctive normal form (MDNF): Table and Result in Qt
minimal-disjunctive-normal-form mdnf table qt logical-function boolean-algebra boolean-logic boolean-function
Language:C++ 3
truth-trick
jonathanjameswatson / truth-trick
Boolean expression visualiser
boolean-algebra boolean-logic css html javascript webpack
Language:JavaScript 3
josefdc / Quine-McCluskey
Este proyecto proporciona una herramienta gráfica para simplificar expresiones booleanas utilizando el método Quine-McCluskey.
boolean-logic python3 quinemccluskey
Language:Python 3
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
Language:Rust 3
marcbenedi / SAT-tfg
SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.
computer-science logic boolean-logic optimization cpp
Language:C++ 3
SathyasriS27 / VLSI_Design
Repository containing the simulated schematics of logic gates, counters, adders and registers along with corresponding layouts for semiconductor design.
vlsi-design circuits semiconductors counters boolean-logic
3
yowenter / conditions
A simple parser & evaluator of the arithmetic/logical conditions
golang rules-engine boolean-logic condition-variable
Language:Go 3
zhimbura / boolean-expression-simplify
Multiplatform library witch can make the expression easier
boolean-algebra boolean-expression boolean-logic
Language:Kotlin 3
LogiVis
danielbinder / LogiVis
A teaching aid for concepts and algorithms in logic
automata boolean-algebra boolean-logic bounded-model-checking ctl kripke-structure logic logic-programming temporal-logic finite-automata finite-automaton finite-state-machine deterministic sat-solver simulation-finite-automaton
Language:Java 2
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
2
JacemHaggui / Building-a-Computer-from-Scratch
My work on the project-based course NAND2TETRIS.
arithmetic-logic-unit boolean-algebra boolean-logic computer-architecture logic-gates memory nand2tetris nand2tetris-projects nand2tetris-solutions hardware-architecture hardware-description-language
Language:Hack 2
rekola / boolean-search
A single-header C++ Boolean search library for streaming applications
boolean boolean-logic c-plus-plus cplusplus search-algorithm string-matching
Language:C++ 2
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 command-line-tool exception-handling java storing-data boolean-logic command-line-interface corejava
Language:Java 2