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 848
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++ 87
SamuelGadiel / nand2tetris
Nand2Tetris: Building a Modern Computer from First Principles
nand2tetris virtual-machine hardware boolean-algebra boolean-logic sequential-logic machine-language computer-architecture assembly-language assembler compiler high-level-language syntax-analysis logic-gates
Language:Hack 44
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 36
PhysiBoSS
gletort / PhysiBoSS
Multiscale simulation of multi-cellular system
cell biology boolean-logic agent-based-modeling agent-based-simulation multiscale-simulation
Language:C++ 28
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
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# 18
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.
archetype-pattern boolean-logic facts json node node-module nodejs rpn rule-context rule-overrides rule-sets rules rules-engine
Language:JavaScript 14
aartaka / stdlambda
Standard library for Lambda Calculus, finally making LC a practical programming language.
arithmetic boolean-logic cons lambda-calculus list recursion set stdlib
13
djcopley / QuineMcCluskey
A powerful tool for minimizing Boolean functions
digital-logic-simplification digital-logic minimization quine-mccluskey python3 boolean-algebra boolean-logic
Language:Python 9
fielding / redstone-university
An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)
bitwise-operators boolean-algebra boolean-logic computer-science course digital-architecture minecraft
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 9
DeMorgan.jl
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-gates logic-circuit python
Language:Python 7
Eran-BA / MoP
Mixture of Products (MoP) for Transformers — research prototype
attention boolean-logic mixture-of-products pytorch research transformers vision vision-transformer
Language:Python 6
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
flexycode / CCOMPORG
💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE
architectural-patterns architecture computer-architecture computer-organization boolean-logic logic-diagram logic-gates truth-table
4
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 4
Oaxoa / fp-booleans
A collection of utility functions to apply boolean logic on functions (including higher-order). Written (and can be used) in a functional programming style.
boolean boolean-functions boolean-logic boolean-operations
Language:TypeScript 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
boolean-algebra boolean-function boolean-logic logical-function mdnf minimal-disjunctive-normal-form qt table
Language:C++ 3
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 3
jjgouveia / maybebool
MaybeBool é uma biblioteca TypeScript que implementa uma lógica ternária, expandindo os tradicionais valores booleanos (verdadeiro/falso) para incluir um terceiro estado determinístico: "talvez".
boolean boolean-logic boolean-retrieval nodejs typescript
Language:TypeScript 3
truth-trick
jonathanjameswatson / truth-trick
Boolean expression visualiser
boolean-algebra boolean-logic css html javascript webpack
Language:JavaScript 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
Aurelio-Capablanca / yggdrasil_protocol
DSL mini implementation for Mathematics at Rust
boolean-logic cli-app low-level-programming minimal arithmetic-computation mathematics dsl
Language:Rust 2
justineuro / syllogisms
Algorithmic Truth Table Method for Proving Validity of Argument Forms
algorithm categorical-syllogisms first-order-logic predicate-logic syllogism truth-table validity boolean boolean-logic classical-logic aristotelian aristotelian-logic
Language:TeX 2
Zartarius / boolean_algebra
Functions and modules to help with problems relating to boolean algebra and digital circuit design. Requires 0 external libraries or packages.
boolean-algebra boolean-expression boolean-logic digital-circuit-design python python3 quine-mccluskey quine-mccluskey-algorithm quine-mccluskey-method quine-mccluskey-technique recursive-algorithm string-manipulation string-parsing
Language:Python 2