rolph-recto/liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
Public GitHub Catalog
Discovered Nov 3, 2026
rolph-recto / fp-practice
Slides and code for functional programming practice session
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#51343581GitHub System ID
rolph-rectoOrganization / User
PublicVisibility
ActiveCatalog Status
More from rolph-recto
rolph-recto/interview
programs for interview practice
rolph-recto/rolph-recto.github.io
Public repository.
rolph-recto/randomAlgos
a repository of random algorithms