miniagda
by andreasabel
A prototypical dependently typed languages with sized types and variances
AI summary
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
- stars
- 104
- forks
- 4
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
Dependent type language
A systems programming language with first-class types, designed to support dependent records and types.
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Language prototype
A language prototype with subtyping and type inference for teaching cubic biunification algorithms
sweirich/dth303
Haskell examples project
Exploring and showcasing examples of dependently-typed programs in Haskell
Type theory project
An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features
Type inference tool
Generates Haskell type declarations from JSON input to improve developer productivity when working with big JSON APIs.
Programming language
A programming language and proof assistant built on top of Rust.
Haskell compiler
A Haskell compiler with a runtime environment implementing Combinatory Logic
Data type builder
A Haskell library for creating and manipulating compositional data types in a modular and flexible way
Type system formalism
A project that formalizes refinement types and dependent types in the Agda language
Featured in 1 awesome list
Each link jumps to the spot where the list mentions miniagda.
