AndrasKovacs/flat-maybe
Rust-style strict Maybe in Haskell: no space/indirection overhead.
Simple bidirectional zipper from any Traversable.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Rust-style strict Maybe in Haskell: no space/indirection overhead.
ELTE IK Programming languages and paradigms lecture
Unary natural numbers relying on the singletons infrastructure
"Component based software development" course assignments.