Awesome Open Source

Programming Languages

Search results for boolean logic

boolean-logic x

12 search results found

Genetic circuit design automation

Booleval ⭐ 54

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

An easy-to-use simulator for logical circuits

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

Physiboss ⭐ 14

Multiscale simulation of multi-cellular system

Gulliver ⭐ 12

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 fast and certifying solver for quantified Boolean formulas.

Stdlambda ⭐ 9

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

Quinemccluskey ⭐ 5

A powerful tool for minimizing Boolean functions

Nand2tetris ⭐ 5

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

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

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

Related Searches

C Plus Plus Boolean Logic (4)

Python Boolean Logic (4)

Javascript Boolean Logic (4)

Java Boolean Logic (3)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.