boolean-function
There are 0 repository under boolean-function topic.
- pdsl
ryardley / pdsl
The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
Language:TypeScript 69 - Language:C++ 52
MarkusRabe / cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C 26- Language:Python 25
- Language:C++ 14
- Language:C++ 11
- Language:MATLAB 3
exsandebest / MDNF
Minimal disjunctive normal form (MDNF): Table and Result in Qt
Language:C++ 3AkiMosi / Self-Learning-Model-Binary-Expression-
Learning A Boolean function with features and Data points
Language:Python 2- Language:C++ 2
- Language:Dart 2
isopropylcyanide / Interaction-Graph
Creating and analyzing interaction graphs based on boolean functions
Language:Java 2JellePiepenbrock / Boolan
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
Language:Python 2ptgm / pyfunctionhood
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
Language:Python 2IvanTry228 / PDNF_and_PCNF_generator
Generate a perfect disjunctive normal form (PDNF) and a perfect conjunctive normal form (PCNF) for boolean functions generator
Language:C++ 1[DEPRECATED] This repository is no longer maintained.
Language:Java 1QuocThuanTruong / bool-function
Write function find all Boole function, calculate in vector and matrix
Language:C++ 1anubhab001 / sbox-threshold-public
Source-codes (with examples) to get threshold implementations for a given SBox
Language:Python 0brismonis / PDF-to-Rules
Python Code to extract gene regulatory Information and create Boolean functions from PDFs using OCR and NLP, realized as a Django Website.
Language:CSS 0brsnik / boolif-postgresql
A PostgreSQL function that returns a custom value if two booleans match.
Language:PLpgSQL 0dimtics / adversarial-neural-crypto-and-Boolean-function-truth-table
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/).
Language:Jupyter Notebook 0MaximilianMoeller / PROOF
Implementation for my research project on local search for learning PaRtial bOOlean Functions.
Language:Rust 0Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
Language:Java 0SergeyBel / cryptofield
Cryptofield is a library to work with discrete algebraic objects. Useful for research in discrete mathematics and cryptography
Language:Python 0ZaherBG / Prime-not-a-prime-or-a-prime-with-a-twin
enter an integer and it will do the rest
Language:Java 0ivanvikhrev / functional-programming-course
Lectures and practices from university functional programming course on Haskell
Language:Haskelllambdacasserole / exhaustion
A tiny library to help in exhaustive testing of Boolean functions in Python.
Language:PythonLipen / kotlin-quine-mccluskey
Quine-McCluskey boolean function minimizer for Kotlin
Language:Kotlinparaggoyal28 / nan2tetris-1
Programming assignments for nand2tetris part1 course
Language:Hack
