Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: boolean-logic

Repositories

broccolimicro/boolean

Implements cubes, covers, and their associated logic operations

Language: C++ - Size: 153 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

danielbinder/LogiVis

A teaching aid for concepts and algorithms in logic

Language: Java - Size: 15.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 0

matiasvlevi/ludit

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

Language: TypeScript - Size: 657 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

henryhale/7-segment-display-decoder

📟 A BCD to seven segment display decoder implementation

Language: JavaScript - Size: 120 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 1

aartaka/stdlambda

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

Size: 40 KB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 11 - Forks: 0

gletort/PhysiBoSS

Multiscale simulation of multi-cellular system

Language: C++ - Size: 13.3 MB - Last synced at: 22 days ago - Pushed at: almost 4 years ago - Stars: 25 - Forks: 12

Digidemic/once

Pass custom IDs or create variables that return 'true' only the first time used... Once!

Language: Kotlin - Size: 3.09 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0

zlypher/bool

Bool Checker is intended as a simple utility to quickly check what your boolean expression results in with all possible inputs.

Language: JavaScript - Size: 629 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 0 - Forks: 0

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: Python - Size: 105 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

jhannemann/truthtable

Print truth tables.

Language: Python - Size: 20.5 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

jonathanjameswatson/truth-trick

Boolean expression visualiser

Language: JavaScript - Size: 4.78 MB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

Spydr06/logicrs

An easy-to-use simulator for logical circuits

Language: Rust - Size: 19 MB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 47 - Forks: 6

lucasferreiraz/logisat

🧠 Classification of pathologies column using propositional logic satisfiability algorithms.

Language: Java - Size: 144 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rushmaparajuli39/nand2tetris

nand2tetris

Language: Assembly - Size: 9.69 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

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, ... 💚🔥

Language: Java - Size: 16.6 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

yowenter/conditions Fork of %{name} oleksandr/conditions

A simple parser & evaluator of the arithmetic/logical conditions

Language: Go - Size: 138 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

rekola/boolean-search

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

Language: C++ - Size: 15.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

msoeken/dormouse

Parsing Python code into Boolean expressions

Language: Python - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

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.

Language: TypeScript - Size: 438 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

djcopley/QuineMcCluskey

A powerful tool for minimizing Boolean functions

Language: Python - Size: 279 KB - Last synced at: 12 days ago - Pushed at: 6 months ago - Stars: 7 - Forks: 2

CIDARLAB/cello

Genetic circuit design automation

Language: Java - Size: 266 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 794 - Forks: 135

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# - Size: 266 KB - Last synced at: 13 days ago - Pushed at: 12 months ago - Stars: 15 - Forks: 3

LoQiseaking69/SephsBIOME

The SephsBiome project aims to stand out as an advanced system in the realm of artificial life simulations, machine learning, and evolutionary computation. Its complexity and the integration of various cutting-edge technologies and methodologies make it a sophisticated and forward-thinking initiative.

Language: Python - Size: 38.5 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

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: Python - Size: 218 KB - Last synced at: 30 days ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2

Z80coder/db-nets

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

Language: Mathematica - Size: 55.3 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 18 - Forks: 3

SathyasriS27/VLSI_Design

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

Size: 71.3 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

abcnorio/mixedmethod-rcode

R-code supplement to a book about mixed methodology

Language: R - Size: 3.61 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

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.

Size: 427 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

RohanS14/Boolean-lab

Boolean implication analysis of single-cell data

Language: Jupyter Notebook - Size: 5.45 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

chakravala/DeMorgan.jl

Classical logic truth table magma algebra

Language: Julia - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

JesseCoretta/go-stackage

stackage implements flexible stack and condition types with useful features

Language: Go - Size: 306 KB - Last synced at: 21 days ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

Tanbhaba/XOR

The first step towards deep learning by implementing 2 input XOR gate using neural network using tensorflow.

Language: Jupyter Notebook - Size: 18.6 KB - Last synced at: 8 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Jvsierra/TabelaVerdade-C

Programa que dá a tabela-verdade de uma expressão booleana, escrito em C.

Language: C - Size: 24.4 KB - Last synced at: 8 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

R3X-G1L6AME5H/gdnative-flagdb

Ever needed to compress 32 booleans into a single number?

Language: C++ - Size: 58.6 KB - Last synced at: 8 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0

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: JavaScript - Size: 7.58 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 3

sebastian9991/walkSAT

A view of a stochastic algorithm on the satisfiability problem, when increasing the number of conjunctions and statements

Language: Java - Size: 17 MB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

j-jzk/logik

A logic circuit simulator

Language: Kotlin - Size: 125 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

Aramrt/PythonDoc

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

Language: Jupyter Notebook - Size: 4.21 MB - Last synced at: 8 months ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0

marcbenedi/SAT-tfg

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

Language: C++ - Size: 268 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0

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: C - Size: 2.26 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 5 - Forks: 4

josefdc/Quine-McCluskey

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

Language: Python - Size: 7.81 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 3 - Forks: 0

nazrinsh/BillSplitter-JetBrains-Academy

Size: 4.88 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

A-G-D/lua-boolexpr

Boolean Expression module for Lua

Language: Lua - Size: 92.8 KB - Last synced at: 9 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

m-peko/booleval

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

Language: C++ - Size: 464 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 78 - Forks: 6

DericAugusto/ISN2023_DigitalSystems

Material from the course of Design of Digital Systems at ENSEM - Université de Lorraine.

Language: VHDL - Size: 40.8 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

zhimbura/boolean-expression-simplify

Multiplatform library witch can make the expression easier

Language: Kotlin - Size: 1.91 MB - Last synced at: 9 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

geovanimelo/atividadeLiterais

Aplicação para a obtenção dos literais em expressões de lógica booleana (IA).

Language: Python - Size: 3.73 MB - Last synced at: 10 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

archy-co/l4logic

Logic elements constructor

Language: Python - Size: 6.4 MB - Last synced at: 10 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

fifi2/quine_mccluskey_algo

Quine-McCluskey algorithm

Language: Vim script - Size: 2.93 KB - Last synced at: 10 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

arhik/BooleanAD

Automatic Differentiation rules for Boolean Types and functions.

Language: Julia - Size: 21.5 KB - Last synced at: 10 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

samyzaf/pycirc

PyCirc Python package for modeling and simulating simple Logic Circuits

Language: Jupyter Notebook - Size: 156 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

julienc91/truthtable

Generate truth tables online

Language: TypeScript - Size: 394 KB - Last synced at: 10 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

benmandrew/CopperLogic

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

Language: C# - Size: 3.17 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

rubenodamo/nand2tetris-programs

To build overall understanding of computer fundamentals, here are some small and simple tasks solving various problems. These are solutions to tasks from the nand2tetris website and book, "The Elements of Computing Systems" by Noam Nisan and Shimon Schocken.

Language: Scilab - Size: 32.2 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Tanaya-27/nand2tetris-little-programs

A small collection of tasks to build my understanding of computing fundamentals; these are based on the "nand to tetris" course in The Elements of Computing Systems, By Noam Nisan and Shimon Schocken (MIT Press).

Language: Scilab - Size: 93.8 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

Elapache98/Sports-Team-Quiz

Lil Quiz about a Sports Team Find out who you should support based on 4 questions.

Language: JavaScript - Size: 161 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Elapache98/ChatGPT-like-Quiz-jk-its-boolean-functions

Lil Quiz about a Sports Team Find out who you should support based on 4 questions.

Language: JavaScript - Size: 243 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mettbroetchen43/pythonsnippets

This is just a repository with some small code snippets. It's not meant to be a concrete project.

Language: Python - Size: 29.3 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

HaoAsakura09/Nand2Tetris

the step-by-step journey of building a complete computer system from logic gates to a high-level language.

Language: Scilab - Size: 15.6 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

dannylarge144/picotruthtables

Truth tables represented by LEDs connected to a Raspberry Pi Pico.

Language: Python - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

up2jj/conditioner

Conditional logic utility

Language: Elixir - Size: 24.4 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

Rohit-singh19/Validate-form

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

Language: HTML - Size: 6.84 KB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

exsandebest/MDNF

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

Language: C++ - Size: 1.36 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 2

hasanrizvi-hr/CryptRaider

I am excited to announce the release of Crypt Raider v1.0.0, a thrilling adventure game that takes players on a journey through ancient tombs and temples filled with hidden treasures and dangerous traps.

Language: C++ - Size: 12 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

MiguelLamas/fcc-javascript-algorithms-and-data-structures-projects-palindrome-checker

JavaScript Algorithms and Data Structures - Palindrome Checker

Language: JavaScript - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Ojas1804/InfoRet-System

An information retrieval system for boolean queries, proximity quries and wildcard queries using Inverted indexing, Biword indexing, positional indexing and soundex indexing.

Language: Python - Size: 131 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

VanTamNguyen/Nand2Tetris

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

Language: Assembly - Size: 2.02 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 21 - Forks: 14

natanbc/boolalg-simplifier 📦

Source code for https://boolalg.im-a.dev

Language: Scala - Size: 81.1 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

archetipico/Computer-Architecture-I 📦

Caesar Cipher using Logisim

Size: 174 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

r3dr000ck/nand2tetris

nand2tetris

Language: Assembly - Size: 43.9 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

D-Diyare/FluentExtensions

A Bunch of useful .NET extensions.

Language: C# - Size: 584 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

sh1ngekyo/Expreval

Fast, Compact, Easy-To-Use Library for evaluating boolean (or your own) expressions.

Language: C# - Size: 51.8 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

John-Hatton/AbstractLogicCircuits

A Small Collection of Logic Gates and some Basic Circuits, to be used with a future Graphical Node Editor.

Language: C++ - Size: 558 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

AndraVasilache/search-engine

Open Search Engine that matches and returns the files that match a query given by the user.

Language: Python - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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: Java - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

MarkusRabe/cadet

A fast and certifying solver for quantified Boolean formulas.

Language: C - Size: 5.68 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 18 - Forks: 11

MattWillians/booleanLogic-JS

Boolean Logic in Javascript

Language: JavaScript - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

made42/nand2tetris

Projects and software suite of the Nand to Tetris courses

Language: Hack - Size: 671 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

MalteQuandt/BooleanSolver

A simple program to solve boolean expressions

Language: Java - Size: 50.8 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

welingtonms/logical

Execute, chain & compose logical operations.

Language: JavaScript - Size: 943 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

brsnik/boolif-postgresql

A PostgreSQL function that returns a custom value if two booleans match.

Language: PLpgSQL - Size: 19.5 KB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DiegoTz88/PT-W2

Working with Loops, boolean operators, and conditionals in java. Including for loops, while loops, do while loops, if else statements, and true or false operations.

Language: Java - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

Flaise/apbool

Just arbitrary precision boolean arithmetic for Rust.

Language: Rust - Size: 45.9 KB - Last synced at: 23 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

SamuelGadiel/nand2tetris

Nand2Tetris: Building a Modern Computer from First Principles

Language: Hack - Size: 201 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

saicharan-gouru/Boolean-Quizzo

This is a quizz app built using React JS

Language: JavaScript - Size: 914 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

0110G/QuineMccluskey-Minimization

Minimization of boolean expressions is one of the fundamental aspects of Digital Design. This task was revolutionized by the QuineMccluskey technique. This repo contains C++ code used to minimize boolean functions through this technique. The implementation has been designed only for non Don't care type expressions.

Language: C++ - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

mbkoltai/ExaStoLog

ExaStoLog: a MATLAB toolbox for EXAct solving of STOchastic LOGical models

Language: MATLAB - Size: 9.99 MB - Last synced at: 8 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 2

RosiePuddles/can

A boolean algebra based esolang interpreter with a whole 4 binary operations so enjoy that one

Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

paxtonproctor/2433-DiscreteStructures

Introduction to the fundamental techniques of algorithm analysis. Also, Boolean logic, combinatorics, functions, graphs, algebraic structures, recursion, recurrence relations, finite state machines, and computability.

Language: C++ - Size: 35.2 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

dorissuzukiesmerio/pandas_training

Using Pandas package - specific syntax details

Language: Python - Size: 58.6 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Hanabiraa/Boolean-function-interpreter

A boolean function parser and interpreter.

Language: Python - Size: 44.9 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

nammoooo/Boolean-Laws

Boolean logic, boolean-expression, boolean-algebra, boolean

Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 2

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: Java - Size: 4.82 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1