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 design automation framework to engineer decision diagrams yourself

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

C++ header-only ESOP library

No description provided.

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

Learning A Boolean function with features and Data points

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!

Discrete Mathematics course at ITMO University

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

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

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

enter an integer and it will do the rest

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

Programming assignments for nand2tetris part1 course

Cryptofield is a library to work with discrete algebraic objects. Useful for research in discrete mathematics and cryptography

A tiny library to help in exhaustive testing of Boolean functions in Python.

Source-codes (with examples) to get threshold implementations for a given SBox

A PostgreSQL function that returns a custom value if two booleans match.

Python Code to extract gene regulatory Information and create Boolean functions from PDFs using OCR and NLP, realized as a Django Website.

Quine-McCluskey boolean function minimizer for Kotlin

Implementation for my research project on local search for learning PaRtial bOOlean Functions.