Starred repositories
6
stars
written in Haskell
Clear filter
Parsing, analyzing, and comparing source code across many languages
A Super Kawaii Dependently Typed Programming Language
A prototypical dependently typed languages with sized types and variances
Prototype implementations of systems based on setoid type theory
Lambda normalization and conversion checking benchmarks for various implementations