konna
by eashanhatti
AI summary
Type theory project
An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features
- stars
- 11
- forks
- 0
- watching
- 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
jozefg/learn-tt2.2K
Type theory resource
A collection of resources for learning type theory and related fields
namin/dot155
Type theory proof
Mechanized proof of soundness for a type-theoretic foundation for languages like Scala
type theory development tool
A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
Type theory implementation
Formalizes Nuprl's Constructive Type Theory in Coq, focusing on its computation system, type system, inference rules, and consistency.
ekmett/hask163
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
Systems programming language
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.
Data structure experiment
A playground for advanced data structures in Haskell
Language experiment
An experimental language project providing a toy compiler and tools for working with it
Type compiler
A programming language compiler and interpreter built on top of Haskell's type system.
typelead/eta2.6K
Haskell JVM dialect
A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
w7cook/aopl165
Haskell textbook
Teaching notes and resources on programming languages written in Haskell
Type system library
A Haskell library for working with refined types to represent and manipulate data structures
