Henry Blanchette's repositories
shape-lang-purs
A well-typed structural editor.
eval-via-norm
Evaluation by normalization
monadic-quicksort-verification
A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."
awesome-structure-editors
A list of projectional and structural editors
Language:PythonCC0-1.0000
Language:TypeScript000
Language:TypeScript000
Language:HaskellBSD-3-Clause000
branchial
Branchial is a prototype abstract board game based on the idea of branching timelines to represent time travel as demonstrated by "5D Chess with Multiverse Time Travel."
Language:JavaScript000
Language:HaskellBSD-3-Clause000
Language:AgdaMIT000
k-resources
A collection of system scripts and templates for working with the K Framework.
Language:HaskellBSD-3-Clause000
Language:HaskellMIT000
mycli
Command line for create a project with your own templates
Language:TypeScript000
Language:HaskellBSD-3-Clause000
Language:PureScript000
type-tetris
https://riib11.github.io/type-tetris/
Language:Lean000