C++ header-only ESOP library
-
Updated
May 18, 2024 - C++
C++ header-only ESOP library
Source-codes (with examples) to get threshold implementations for a given SBox
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
Lightweight condition parsing and building of evaluation expressions
Implementation for my research project on local search for learning PaRtial bOOlean Functions.
A tiny library to help in exhaustive testing of Boolean functions in Python.
Discrete Mathematics course at ITMO University
Lectures and practices from university functional programming course on Haskell
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.
Compute distance-k neighbours of any monotone Boolean Function
Web app that helps you with subject "Digitalna logika" at FER. Check it out!
A fast and certifying solver for quantified Boolean formulas.
Cryptofield is a library to work with discrete algebraic objects. Useful for research in discrete mathematics and cryptography
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
Add a description, image, and links to the boolean-function topic page so that developers can more easily learn about it.
To associate your repository with the boolean-function topic, visit your repo's landing page and select "manage topics."