domdere/liquidhaskell
Liquid Types For Haskell
Public GitHub Catalog
Discovered Sep 30, 2026
domdere / Idris-dev
A Dependently Typed Functional Programming Language
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.
#19337701GitHub System ID
domdereOrganization / User
PublicVisibility
ActiveCatalog Status
More from domdere
domdere/validation-idris
Port of the Validation Library to Idris
domdere/fp-in-idris
Functional Programing in Scala (in Idris) [Idris]
domdere/haskell-coq
Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq]