boolean-logic
There are 3 repositories under boolean-logic topic.
- Language:Java 798
- Language:C++ 81
- Language:Rust 47
VanTamNguyen / Nand2Tetris
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
Language:Assembly 32- PhysiBoSSLanguage:C++ 25
MarkusRabe / cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C 22- Language:Mathematica 18
- 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# 15 - 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:JavaScript 10 djcopley / QuineMcCluskey
A powerful tool for minimizing Boolean functions
Language:Python 7MaxWolf-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 6- ludit
matiasvlevi / ludit
Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.
Language:TypeScript 5 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 5Aramrt / PythonDoc
This repository is for learning most important concepts of Python for starting Machine Learning and Deep Learning basics.
Language:Jupyter Notebook 4R3X-G1L6AME5H / gdnative-flagdb
Ever needed to compress 32 booleans into a single number?
Language:C++ 4- Language:JavaScript 4
chakravala / DeMorgan.jl
Classical logic truth table magma algebra
Language:Julia 3D-Diyare / FluentExtensions
A Bunch of useful .NET extensions.
Language:C# 3exsandebest / MDNF
Minimal disjunctive normal form (MDNF): Table and Result in Qt
Language:C++ 3josefdc / Quine-McCluskey
Este proyecto proporciona una herramienta gráfica para simplificar expresiones booleanas utilizando el método Quine-McCluskey.
Language:Python 3marcbenedi / SAT-tfg
SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.
Language:C++ 3SamuelGadiel / nand2tetris
Nand2Tetris: Building a Modern Computer from First Principles
Language:Hack 3yowenter / conditions
A simple parser & evaluator of the arithmetic/logical conditions
Language:Go 3benmandrew / CopperLogic
Visualiser of boolean logic circuits (Unity/C#) - Oct 2019
Language:C# 2galenwilkerson / 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.
- truth-trick
jonathanjameswatson / truth-trick
Boolean expression visualiser
Language:JavaScript 2 - Language:Jupyter Notebook 2
rekola / boolean-search
A single-header C++ Boolean search library for streaming applications
Language:C++ 2Rohit-singh19 / Validate-form
We have to validate the form on client-server using javascript.
Language:HTML 2SathyasriS27 / VLSI_Design
Repository containing the simulated schematics of logic gates, counters, adders and registers along with corresponding layouts for semiconductor design.
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 2zhimbura / boolean-expression-simplify
Multiplatform library witch can make the expression easier
Language:Kotlin 2felixstrobel / 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 1- SephsBIOME
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 1 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 1
