The expressive declarative toolkit for composing predicates in TypeScript or JavaScript
-
Updated
Mar 10, 2023 - TypeScript
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
boolean-functionHere are 31 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
A design automation framework to engineer decision diagrams yourself
bdd eda add bmd formal-verification decision-diagrams hardware-testing boolean-function bhd pseudo-boolean kfdd phdd
A fast and certifying solver for quantified Boolean formulas.
Lightweight condition parsing and building of evaluation expressions
C++ header-only ESOP library
Local computation of immediate neighbours of a given monotone non-degenerate Boolean function
Python Tool for Model Revision of Boolean Networks
Minimal disjunctive normal form (MDNF): Table and Result in Qt
qt table boolean-algebra boolean-logic boolean-function logical-function minimal-disjunctive-normal-form mdnf
Learning A Boolean function with features and Data points
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
Creating and analyzing interaction graphs based on boolean functions
python java graph graph-algorithms makefile bruteforce computation-graph research-project molecules cancer-research boolean-function cyclic-redundancy-check
Web app that helps you with subject "Digitalna logika" at FER. Check it out!
Discrete Mathematics course at ITMO University
automata probability discrete-mathematics combinatorics generating-function turing-machine compression-algorithm planar-graphs matroids boolean-function hamiltonian-cycles cf-grammar
[DEPRECATED] This repository is no longer maintained.
Generate a perfect disjunctive normal form (PDNF) and a perfect conjunctive normal form (PCNF) for boolean functions generator
Rust library to compute the algebraic immunity of Boolean function
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/).
Add this topic to your repoTo associate your repository with the boolean-function topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |