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

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

Learning A Boolean function with features and Data points

Creating and analyzing interaction graphs based on boolean functions

Discrete Mathematics course at ITMO University

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

[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

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

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