phadej/boolean-normal-forms
Boolean normal forms: NNF, DNF & CNF
Public GitHub Catalog
Discovered Sep 30, 2026
phadej / editline
git clone of http://code.haskell.org/editline
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.
#19780376GitHub 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