ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Public GitHub Catalog
Discovered Sep 26, 2026
ollef / paws
Utility for automatically pausing and resuming music at appropriate times.
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.
#8117083GitHub System ID
ollefOrganization / User
PublicVisibility
ActiveCatalog Status
More from ollef
ollef/xcape
Linux utility to make control key send escape key events when pressed on its own.
ollef/Generate-C
Embedded C code generation DSL for Haskell.
ollef/Grempa
Embedded grammar DSL and LALR parser generator