The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
-
Updated
Mar 10, 2023 - TypeScript
The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
A fast and certifying solver for quantified Boolean formulas.
Lightweight condition parsing and building of evaluation expressions
C++ header-only ESOP library
Minimal disjunctive normal form (MDNF): Table and Result in Qt
Learning A Boolean function with features and Data points
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
Discrete Mathematics course at ITMO University
Creating and analyzing interaction graphs based on boolean functions
Web app that helps you with subject "Digitalna logika" at FER. Check it out!
[DEPRECATED] This repository is no longer maintained.
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
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
Rust library to compute the algebraic immunity of Boolean function
Lectures and practices from university functional programming course on Haskell
Programming assignments for nand2tetris part1 course
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."