boolean-logic

There are 112 repositories under boolean-logic topic.

  • CIDARLAB/cello

    Genetic circuit design automation

    Language:Java8018038133

  • m-peko/booleval

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

    Language:C++815236

  • Spydr06/logicrs

    An easy-to-use simulator for logical circuits

    Language:Rust482285

  • VanTamNguyen/Nand2Tetris

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

    Language:Assembly322013
  • PhysiBoSS

    gletort/PhysiBoSS

    Multiscale simulation of multi-cellular system

    Language:C++255012

  • MarkusRabe/cadet

    A fast and certifying solver for quantified Boolean formulas.

    Language:C242813

  • Z80coder/db-nets

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

    Language:Mathematica18203
  • 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.

    Language:C#158183

  • aartaka/stdlambda

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

    11280
  • 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.

    Language:JavaScript103103

  • djcopley/QuineMcCluskey

    A powerful tool for minimizing Boolean functions

    Language:Python7362

  • 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.

    Language:Python6202
  • ludit

    matiasvlevi/ludit

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

    Language:TypeScript5100

  • maximaximal/limboole

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

    Language:C5215

  • SamuelGadiel/nand2tetris

    Nand2Tetris: Building a Modern Computer from First Principles

    Language:Hack5003

  • Aramrt/PythonDoc

    This repository is for learning most important concepts of Python for starting Machine Learning and Deep Learning basics.

    Language:Jupyter Notebook4200

  • R3X-G1L6AME5H/gdnative-flagdb

    Ever needed to compress 32 booleans into a single number?

    Language:C++4100

  • sidney-pham/truth-tables

    ⊻ A truth table generator.

    Language:JavaScript4261

  • chakravala/DeMorgan.jl

    Classical logic truth table magma algebra

    Language:Julia3200

  • D-Diyare/FluentExtensions

    A Bunch of useful .NET extensions.

    Language:C#3100

  • exsandebest/MDNF

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

    Language:C++3202
  • truth-trick

    jonathanjameswatson/truth-trick

    Boolean expression visualiser

    Language:JavaScript3111

  • josefdc/Quine-McCluskey

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

    Language:Python31

  • marcbenedi/SAT-tfg

    SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.

    Language:C++3220

  • yowenter/conditions

    A simple parser & evaluator of the arithmetic/logical conditions

    Language:Go3101

  • benmandrew/CopperLogic

    Visualiser of boolean logic circuits (Unity/C#) - Oct 2019

    Language:C#210
  • LogiVis

    danielbinder/LogiVis

    A teaching aid for concepts and algorithms in logic

    Language:Java21290

  • galenwilkerson/preprint_logic_and_learning_in_network_cascades

    This is a preprint of our submitted work on logic and learning in network cascades. It discusses basic biologically-motivated modifications, and implications regarding logic, criticality, spatial constraints, types of error, and information encoding.

    2100

  • JuanJoZP/buscaminas

    minesweeper SAT solver

    Language:Jupyter Notebook20

  • rekola/boolean-search

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

    Language:C++20

  • Rohit-singh19/Validate-form

    We have to validate the form on client-server using javascript.

    Language:HTML2100

  • SathyasriS27/VLSI_Design

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

    2100

  • 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.

    Language:Java2100

  • WilmerRS/Logic_Math

    Logic math is a discrets mathematics project, developed with the aim of promoting learning and facilitating understanding of the topics related to sets, relations and boolean logic.

    Language:Java2101

  • zhimbura/boolean-expression-simplify

    Multiplatform library witch can make the expression easier

    Language:Kotlin222

  • 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:Python10