a Pythonic toolkit for working with Boolean expressions
JAF (Just Another Flow) - A streaming data processing system for JSON with lazy evaluation, composable operations, and a fluent API
Sparse linear Boolean algebra for Nvidia Cuda
MCP server for Discrete Mathematics: Boolean Logic, Algorithms, Number Theory, Cryptography. 21 AI-ready tools for education and research.
A boolean algebra toolkit written in python
🧮 The Only Boolean Algebra Reduction App
A Python library for algebraic search.
a tiny boolean algebra expressions parser and solver (sometimes it can even simplify expressions)
Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations
A powerful tool for minimizing Boolean functions
Testing boolean expressions for equivalence
