miniagda
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
A prototypical dependently typed languages with sized types and variances
104 stars
7 watching
4 forks
Language: Haskell
last commit: about 2 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 23 |
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 pikelet-lang/pikelet | A systems programming language with first-class types, designed to support dependent records and types. | 610 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 86 |
 storyyeller/cubiml-demo | A language prototype with subtyping and type inference for teaching cubic biunification algorithms | 163 |
| sweirich/dth | Exploring and showcasing examples of dependently-typed programs in Haskell | 302 |
 eashanhatti/konna | An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features | 11 |
 migamake/json-autotype | Generates Haskell type declarations from JSON input to improve developer productivity when working with big JSON APIs. | 149 |
 andrew-johnson-4/lsts | A programming language and proof assistant that integrates type systems with lambda calculus and theorem proving | 113 |
 siraben/mini-haskell | A Haskell compiler with a runtime environment implementing Combinatory Logic | 72 |
 pa-ba/compdata | A Haskell library for creating and manipulating compositional data types in a modular and flexible way | 89 |
 0xd34df00d/refinedt | A project that formalizes refinement types and dependent types in the Agda language | 58 |