jianqili/nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Developer Profile
jianqili
Discovered public repositories for jianqili in the GitHub catalog.
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
jianqili/l4v
seL4 specification and proofs
jianqili/GithubProjects
Projects managements repository.
jianqili/Tterm
Public repository.
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.
jianqili/FingerProver
Theorem prover on which proof can be developed by finger tips dragging, represented in visualized interface.