Topic: "boolean-functions"
runekrauss/freddy
A design automation framework to engineer decision diagrams yourself
Language: C++ - Size: 772 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 22 - Forks: 0
b4ich3v/Logic_Crusher
A tool for working with Boolean functions and sets
Language: Python - Size: 39.6 MB - Last synced at: 5 months ago - Pushed at: 5 months 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: about 1 month ago - Pushed at: 12 months ago - Stars: 3 - Forks: 0
LucaBonamino/algebraic_immunity
Python package implemeted in Rust to compute the algebraic immunity of a Boolean function
Language: Rust - Size: 12.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
rreemmii-dev/NAND-Language
A programming language to play around and create boolean functions while being strictly limited to operations involving NAND gates.
Language: OCaml - Size: 6.84 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
druglogics/gitsbe
Generic Interactions To Specific Boolean Equations
Language: Java - Size: 88 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
worldoftiveau/CPE133-DigitalLogicDesign
CPE133-DigitalLogicDesign offers labs, Verilog examples, and FPGA projects for digital logic design, covering combinational and sequential circuits, boolean algebra, and timing. 🐙
Size: 3.91 KB - Last synced at: 3 months ago - Pushed at: 3 months 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: about 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: 24 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0