Genetic circuit design automation
-
Updated
Sep 19, 2022 - Java
Genetic circuit design automation
Header-only C++17 library for evaluating logical expressions.
An easy-to-use simulator for logical circuits
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
Multiscale simulation of multi-cellular system
A fast and certifying solver for quantified Boolean formulas.
∂B nets: learning discrete, boolean-valued functions by gradient descent
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.
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.
Nand2Tetris: Building a Modern Computer from First Principles
Standard library for Lambda Calculus, finally making LC a practical programming language.
A powerful tool for minimizing Boolean functions
Ludit is an interpreter for Ludi, a language meant to express and compute boolean algebra in the CLI.
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.
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
⊻ A truth table generator.
Classical logic truth table magma algebra
This repository is for learning most important concepts of Python for starting Machine Learning and Deep Learning basics.
Ever needed to compress 32 booleans into a single number?
Boolean expression visualiser
Add a description, image, and links to the boolean-logic topic page so that developers can more easily learn about it.
To associate your repository with the boolean-logic topic, visit your repo's landing page and select "manage topics."