Movatterモバイル変換

Skip to content

#

boolean-logic

Here are 150 public repositories matching this topic...

Language:All

Filter by language

All150 Python28 JavaScript18 C++13 Java12 TypeScript9 C#7 C6 Rust6 Jupyter Notebook5 Assembly3

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

CIDARLAB /cello

Genetic circuit design automation

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

UpdatedSep 19, 2022
Java

m-peko /booleval

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

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

UpdatedJan 25, 2022
C++

SamuelGadiel /nand2tetris

Nand2Tetris: Building a Modern Computer from First Principles

compiler hardware virtual-machine assembler assembly-language syntax-analysis nand2tetris computer-architecture logic-gates boolean-algebra machine-language boolean-logic sequential-logic high-level-language

UpdatedMar 30, 2020
Hack

VanTamNguyen /Nand2Tetris

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

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

UpdatedSep 30, 2017
Assembly

PhysiBoSS

gletort /PhysiBoSS

Multiscale simulation of multi-cellular system

biology cell agent-based-modeling multiscale-simulation boolean-logic agent-based-simulation

UpdatedJul 31, 2020
C++

MarkusRabe /cadet

A fast and certifying solver for quantified Boolean formulas.

sat-solver boolean-satisfiability boolean-logic boolean-function qbf-solver skolem-function

UpdatedApr 29, 2025
C

Z80coder /db-nets

∂B nets: learning discrete, boolean-valued functions by gradient descent

machine-learning machine-learning-algorithms neural-networks boolean-logic interpretable-deep-learning tinyml

UpdatedJan 30, 2024
Mathematica

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.

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

UpdatedSep 12, 2025
C#

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.

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

UpdatedApr 30, 2023
JavaScript

aartaka /stdlambda

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

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

UpdatedMay 26, 2025

maximaximal /limboole

Fork of the Limboole SAT solver frontend fromhttp://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

javascript computer-science webassembly bootstrap4 teaching propositional-logic sat boolean-logic

UpdatedSep 19, 2023
C

djcopley /QuineMcCluskey

A powerful tool for minimizing Boolean functions

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

UpdatedAug 19, 2024
Python

fielding /redstone-university

An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)

computer-science minecraft course boolean-algebra bitwise-operators boolean-logic digital-architecture

UpdatedSep 6, 2025
Python

karlssberg /Motiv

A solution to the Boolean Blindness problem.

functional domain-driven-design specification-pattern boolean-algebra boolean-satisfiability boolean-logic explanability boolean-blindness

UpdatedSep 30, 2025
C#

DeMorgan.jl

chakravala /DeMorgan.jl

Classical logic truth table magma algebra

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

UpdatedNov 22, 2023
Julia

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.

python boolean-expression logic-gates logic-circuit boolean-logic

UpdatedDec 2, 2024
Python

ludit

matiasvlevi /ludit

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

boolean logic-gates boolean-algebra boolean-logic

UpdatedFeb 28, 2023
TypeScript

Eran-BA /MoP

Mixture of Products (MoP) for Transformers — research prototype

research transformers pytorch vision attention boolean-logic vision-transformer mixture-of-products

UpdatedAug 28, 2025
Python

R3X-G1L6AME5H /gdnative-flagdb

Ever needed to compress 32 booleans into a single number?

database gdnative boolean-logic commpression bitwise-operations gdnative-plugin

UpdatedJan 2, 2023
C++

flexycode /CCOMPORG

💫 CCOMPORG - COMPUTER ORGANIZATION AND ARCHITECTURE

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

UpdatedMar 8, 2025

Improve this page

Add a description, image, and links to theboolean-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theboolean-logic topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp