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