boolean-function

The expressive declarative toolkit for composing predicates in TypeScript or JavaScript

C++ truth table library

A design automation framework to engineer decision diagrams yourself

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

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

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

Python Tool for Model Revision of Boolean Networks

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

Learning A Boolean function with features and Data points

Creating and analyzing interaction graphs based on boolean functions

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

Discrete Mathematics course at ITMO University

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.

Rust library to compute the algebraic immunity of Boolean function

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