pat-rondon/liquidhaskell
Liquid Types For Haskell
Public GitHub Catalog
Discovered Sep 26, 2026
pat-rondon / AbstractRefinementTypes
Public repository discovered through GitHub real-time crawl.
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.
#7513306GitHub System ID
pat-rondonOrganization / User
PublicVisibility
ActiveCatalog Status
More from pat-rondon
pat-rondon/Mondrian-Clock
A program for generating random Mondrian-style pictures. These pictures happen to depend on the time of day in a convoluted way; with some practice, it can be used as a fuzzy clock.
pat-rondon/webclock
Clock that displays time using images fetched from Google Image Search
pat-rondon/odb
Oasis-db downloader and installer