The expressive declarative toolkit for composing predicates in TypeScript or JavaScript

C++ truth table library

A fast and certifying solver for quantified Boolean formulas.

Lightweight condition parsing and building of evaluation expressions

A C++ library for algebra over GF(2)

C++ header-only ESOP library

Minimal disjunctive normal form (MDNF): Table and Result in Qt

Learning A Boolean function with features and Data points

Discrete Mathematics course at ITMO University

Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]

Creating and analyzing interaction graphs based on boolean functions

Web app that helps you with subject "Digitalna logika" at FER. Check it out!

Write function find all Boole function, calculate in vector and matrix

Generate a perfect disjunctive normal form (PDNF) and a perfect conjunctive normal form (PCNF) for boolean functions generator

[DEPRECATED] This repository is no longer maintained.

Local computation of immediate neighbours of a given monotone non-degenerate Boolean function

enter an integer and it will do the rest

Programming assignments for nand2tetris part1 course

Re-adapted implementation of Adversarial neural network model described in Learning to Protect Communications with Adversarial Neural Cryptography (Martín Abadi & David G. Andersen, 2016). The primary code is authored by Liam Schoneveld (https://nlml.github.io/neural-networks/adversarial-neural-cryptography/).