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

Creating and analyzing interaction graphs based on boolean functions

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

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

Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions

Lectures and practices from university functional programming course on Haskell

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/).