Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation

a Pythonic toolkit for working with Boolean expressions

System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer

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

Nand2Tetris: Building a Modern Computer from First Principles

Implementation of Quine McCluskey algorithm in Python 3

Evaluates a math expression from a string. Supports variables and custom operators.

Brenda is a boolean expression solver for Go AST

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

Sparse linear Boolean algebra for Nvidia Cuda

Parallel boolean circuit evaluation

Boolean expression simplifier/minimizer

An interactive course on computer science and digital architecture, built from the ground up. (Minecraft and CircuitVerse tracks available)

Value types, operators and functions for tinkering with microcontrollers in software.

Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations

Web application for parsing and evaluating boolean algebra expressions.

A powerful tool for minimizing Boolean functions

This is a personal project which purpose is to learn computer architecture by implementing the Hack Computer.

CSC302: Digital Logic Design and Analysis [DLDA] & CSL301: Digital System Lab [DS Lab] | SE Semester III | Computer Engineering

A professional logic gate simulator built with React, featuring drag-and-drop gates, wire connections, real-time evaluation, truth table generation, and circuit save/load.