Stars
10
results
for source starred repositories
written in Haskell
Clear filter
A statically typed lisp, without a GC, for real-time applications.
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Project management directly from the TODOs in your codebase
Minimal implementations for dependent type checking and elaboration
A demo implementation of a simple dependently-typed language
Web application for exploring and understanding Haskell codebases
A categorical programming language with effects
Minimal ML language to to demonstrate the W type infererence algorithm