runekrauss/freddy

A design automation framework to engineer decision diagrams yourself

Language: C++ - Size: 582 KB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 21 - Forks: 0

b4ich3v/Logic_Crusher

A tool for working with Boolean functions and sets

Language: Python - Size: 39.6 MB - Last synced at: 30 days ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 0

Oaxoa/fp-booleans

A collection of utility functions to apply boolean logic on functions (including higher-order). Written (and can be used) in a functional programming style.

Language: TypeScript - Size: 1.03 MB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

druglogics/gitsbe

Generic Interactions To Specific Boolean Equations

Language: Java - Size: 88 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

LucaBonamino/algebraic_immunity

Python package implemeted in Rust to compute the algebraic immunity of a Boolean function

Language: Rust - Size: 9.77 KB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

druglogics/brf-bias

Data analyses related to Truth Density bias in commonly used Boolean Regulatory Functions

Language: R - Size: 25.8 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

pacifikus/Algebraic-immunity-exploration

Language: Jupyter Notebook - Size: 823 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

mathiazom/tabular-method

🧮 Also known as the Quine-McCluskey method

Language: JavaScript - Size: 169 KB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0