phadej/boolean-normal-forms
Boolean normal forms: NNF, DNF & CNF
Public GitHub Catalog
Discovered Sep 29, 2026
phadej / typify-bin
Runtime type-checking. Command line utility.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#15960556GitHub System ID
phadejOrganization / User
PublicVisibility
ActiveCatalog Status
More from phadej
phadej/cond
Basic conditional operators with monadic variants.
phadej/bed-and-breakfast
Matrix operations in 100% pure Haskell
phadej/fantasy-land
Specification for interoperability of common algebraic structures in JavaScript