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: 8 months ago
Linked from 1 awesome list
jnv/listsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 williamdemeo/typefunc | Collects links and resources on type theory and functional programming. | 309 |
 uds-psl/mpctt | A research project on using the Coq proof assistant to develop and prove mathematical models of computation in computational type theory | 82 |
 eashanhatti/konna | An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features | 11 |
 namin/dot | Mechanized proof of soundness for a type-theoretic foundation for languages like Scala | 155 |
 lennonjesus/typescript-education | A comprehensive collection of resources and tutorials to help developers learn TypeScript | 16 |
 hott/coq-hott | 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 |
 jetbrains/arend | A theorem prover and a programming language based on Homotopy Type Theory | 698 |
 andrejbauer/homotopy-type-theory-course | Teaching materials and resources for a doctoral course on homotopy theory and type theory | 287 |
 karlhorky/learn-to-program | A curated list of educational resources to learn programming fundamentals and web development skills. | 4,154 |
 vrahli/nuprlincoq | Formalizes Nuprl's Constructive Type Theory in Coq, focusing on its computation system, type system, inference rules, and consistency. | 44 |
 gcanti/fp-ts-laws | A collection of type class laws for property-based testing | 81 |
 ifttt/polo | Tool generates sample data from database models for testing and development purposes | 777 |
 leddgroup/ts-types-utils | A set of reusable type utility functions for TypeScript | 61 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 thomasaribart/json-schema-to-ts | Tool to automatically generate TypeScript types from JSON schema definitions. | 1,493 |