A language with dependent types
OTHER License
Statistics for this project are still being loaded, please check back later.
A model abstraction library
silly dependently-typed language
FoldMap lists
Typesafe structural diffing of haskell datratypes using generics
typing haskell in haskell
Visualization of haskell datatypes
Generic interface over the AST provided by haskell-src-exts
luakit but in haskell
Haskell to and from Scalameta
Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
it's a starcraft clone but with a dope typesystem
(Un)abstract graphics library
A type theory based theorem proving library
Write type-safe shell scripts in Haskell
Haskell parser for the Thrift IDL format.