There are 0 repository under boolean-function topic.
The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
A fast and certifying solver for quantified Boolean formulas.
Minimal disjunctive normal form (MDNF): Table and Result in Qt
Learning A Boolean function with features and Data points
Creating and analyzing interaction graphs based on boolean functions
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
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.
Write function find all Boole function, calculate in vector and matrix
Source-codes (with examples) to get threshold implementations for a given SBox
Python Code to extract gene regulatory Information and create Boolean functions from PDFs using OCR and NLP, realized as a Django Website.
A PostgreSQL function that returns a custom value if two booleans match.
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/).
Implementation for my research project on local search for learning PaRtial bOOlean Functions.
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
Cryptofield is a library to work with discrete algebraic objects. Useful for research in discrete mathematics and cryptography
enter an integer and it will do the rest
Lectures and practices from university functional programming course on Haskell
A tiny library to help in exhaustive testing of Boolean functions in Python.
Quine-McCluskey boolean function minimizer for Kotlin
Programming assignments for nand2tetris part1 course