ditto
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
A Super Kawaii Dependently Typed Programming Language
173 stars
16 watching
5 forks
Language: Haskell
last commit: over 7 years ago
Linked from 2 awesome lists
dependent-typesprogramming-languageproof-assistanttype-theory
xgrommx/awesome-functional-programming
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ditto-lang/ditto | A language designed to embed itself in existing toolchains and ecosystems | 62 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 pikelet-lang/pikelet | A systems programming language with first-class types, designed to support dependent records and types. | 610 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 eashanhatti/konna | An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features | 11 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 sweirich/dth | Exploring and showcasing examples of dependently-typed programs in Haskell | 303 |
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 dojo/typings | A collection of type definitions for Dojo 1.x libraries and frameworks. | 28 |
 yairhalberstadt/fluentlang | An experimental programming language designed to explore the intersection of structural typing, object-oriented programming, and functional programming. | 11 |
 silt-lang/silt | A dependently typed functional programming language that compiles to native code through LLVM. | 240 |
 mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 57 |
| sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 24 |
 typelead/eta | A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility | 2,612 |
 superstar64/aith | A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions. | 64 |