jianqili/nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Public GitHub Catalog
Discovered Sep 26, 2026
jianqili / Haskell2TRS
Haskell To TRS is a set of tools for translating Haskell programs into higher-order term rewriting system. While chained, as a frontend, with a rewriting based termination prover (say HOT by Frederic Blanqui), it makes the terminaiton checking of Haskell possible.
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.
#7010362GitHub System ID
jianqiliOrganization / User
PublicVisibility
ActiveCatalog Status
More from jianqili
jianqili/verification-manifest
Manifests for the collection of verification repositories
jianqili/isabelle
git mirror of the Munich isabelle hg repository
jianqili/seL4
The seL4 microkernel