GitHub topics: boolean-function
lsils/kitty
C++ truth table library
Language: C++ - Size: 862 KB - Last synced at: 4 days ago - Pushed at: 19 days ago - Stars: 56 - Forks: 78

axiros/pycond
Lightweight condition parsing and building of evaluation expressions
Language: Python - Size: 236 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 3

MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
Language: C - Size: 5.68 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 27 - Forks: 13

hriener/easy
C++ header-only ESOP library
Language: C++ - Size: 1.87 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 5

paraggoyal28/nan2tetris-1
Programming assignments for nand2tetris part1 course
Language: Hack - Size: 434 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

ptgm/functionhood 📦
[DEPRECATED] This repository is no longer maintained.
Language: Java - Size: 34.2 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

ptgm/pyfunctionhood
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
Language: Python - Size: 99.6 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

agievich/GF2
A C++ library for algebra over GF(2)
Language: C++ - Size: 202 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 5

ryardley/pdsl
The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
Language: TypeScript - Size: 7.15 MB - Last synced at: 24 days ago - Pushed at: about 2 years ago - Stars: 69 - Forks: 2

IvanTry228/PDNF_and_PCNF_generator
Generate a perfect disjunctive normal form (PDNF) and a perfect conjunctive normal form (PCNF) for boolean functions generator
Language: C++ - Size: 654 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 2

lambdacasserole/exhaustion
A tiny library to help in exhaustive testing of Boolean functions in Python.
Language: Python - Size: 12.7 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

QuocThuanTruong/bool-function
Write function find all Boole function, calculate in vector and matrix
Language: C++ - Size: 106 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

FranMaric/diglog
Web app that helps you with subject "Digitalna logika" at FER. Check it out!
Language: Dart - Size: 16.1 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

anubhab001/sbox-threshold-public
Source-codes (with examples) to get threshold implementations for a given SBox
Language: Python - Size: 30.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

exsandebest/MDNF
Minimal disjunctive normal form (MDNF): Table and Result in Qt
Language: C++ - Size: 1.36 MB - Last synced at: 2 months ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 3

ptgm/bifurcation
Computation of logical bifurcation diagrams of (Boolean or multivalued) logical functions
Language: Java - Size: 49.8 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

MaximilianMoeller/PROOF
Implementation for my research project on local search for learning PaRtial bOOlean Functions.
Language: Rust - Size: 11.9 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

JellePiepenbrock/Boolan
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
Language: Python - Size: 43.9 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

aalanwar/Logical-Zonotope
Language: MATLAB - Size: 53.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1

ivanvikhrev/functional-programming-course
Lectures and practices from university functional programming course on Haskell
Language: Haskell - Size: 315 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

brsnik/boolif-postgresql
A PostgreSQL function that returns a custom value if two booleans match.
Language: PLpgSQL - Size: 19.5 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

cannor147/itmo-dm
Discrete Mathematics course at ITMO University
Language: C++ - Size: 826 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 2

SergeyBel/cryptofield
Cryptofield is a library to work with discrete algebraic objects. Useful for research in discrete mathematics and cryptography
Language: Python - Size: 111 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

isopropylcyanide/Interaction-Graph
Creating and analyzing interaction graphs based on boolean functions
Language: Java - Size: 14.7 MB - Last synced at: 3 months ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 1

dimtics/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 - Size: 20.5 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

Lipen/kotlin-quine-mccluskey
Quine-McCluskey boolean function minimizer for Kotlin
Language: Kotlin - Size: 84 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

oleksii-shevchenko/crypto-boolean-functions
Application for computing cryptographic characteristics of boolean functions
Language: Cuda - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 1

oleksii-shevchenko/geffe-generator-attack
Geffe generator parallelized correlation attack
Language: Cuda - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
