konna
Type theory project
An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features
11 stars
1 watching
0 forks
Language: Haskell
last commit: over 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 jozefg/learn-tt | A collection of resources for learning type theory and related fields | 2,161 |
 namin/dot | Mechanized proof of soundness for a type-theoretic foundation for languages like Scala | 154 |
 uds-psl/mpctt | A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory | 80 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 vrahli/nuprlincoq | Formalizes Nuprl's Constructive Type Theory in Coq, focusing on its computation system, type system, inference rules, and consistency. | 44 |
 ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 161 |
 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. | 65 |
| ekmett/structures | A playground for advanced data structures in Haskell | 63 |
| ekmett/coda | An experimental language project providing a toy compiler and tools for working with it | 163 |
 seliopou/typo | A programming language compiler and interpreter built on top of Haskell's type system. | 249 |
 typelead/eta | A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility | 2,607 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 w7cook/aopl | Teaching notes and resources on programming languages written in Haskell | 165 |
 mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 58 |