learn-tt
Type theory resource
A collection of resources for learning type theory and related fields
A collection of resources for learning type theory and type theory adjacent fields.
2k stars
90 watching
118 forks
last commit: 7 months ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
| Collects links and resources on type theory and functional programming. | 309 |
| A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory | 82 |
| An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features | 11 |
| Mechanized proof of soundness for a type-theoretic foundation for languages like Scala | 155 |
| A comprehensive collection of resources and tutorials to help developers learn TypeScript | 16 |
| A Coq library for interpreting Martin-Löf's intensional type theory into abstract homotopy theory and relating it to higher category theory. | 1,262 |
| A theorem prover and a programming language based on Homotopy Type Theory | 698 |
| Teaching materials and resources for a doctoral course on homotopy theory and type theory | 287 |
| A curated list of educational resources to learn programming fundamentals and web development skills. | 4,154 |
| Formalizes Nuprl's Constructive Type Theory in Coq, focusing on its computation system, type system, inference rules, and consistency. | 44 |
| A collection of type class laws for property-based testing | 81 |
| Tool generates sample data from database models for testing and development purposes | 777 |
| A set of reusable type utility functions for TypeScript | 61 |
| Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
| Tool to automatically generate TypeScript types from JSON schema definitions. | 1,493 |