Genetic circuit design automation

Modern C++17 library for evaluating logical expressions.

Multiscale simulation of multi-cellular system

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.

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

A simple parser & evaluator of the arithmetic/logical conditions

⊻ A truth table generator.

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

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.

A digital logic simplification program.

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.

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

Boolean expression visualiser

Parsing Python code into Boolean expressions

Bullet proof parseBoolean function.

Proyecto del curso "Matemática Discreta 1" URL 2014.

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

Convert any value to boolean

Verilog codes developed as a part of COA lab course

Repository for chip documentation (CS220 SP 2018)

Examples of assignments and projects I've done to demostrate my proficiency in Python

Proyecto del curso "Matemática Discreta 1" URL 2015.

A simple Sat Solver program for Boolean Satisfiability Problem works with Brute Force.

Implements cubes, covers, and their associated logic operations

Minimal disjunctive normal form: Table and Result

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

Bit logic breadboard compatible modules

Given a Boolean equation, generates a Boolean table, as seen in a typical Discrete Mathematics course.