learn-tt
by jozefg
A collection of resources for learning type theory and type theory adjacent fields.
AI summary
Type theory resource
A collection of resources for learning type theory and related fields
- stars
- 2.2K
- forks
- 118
- watching
- 90
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Type resources
Collects links and resources on type theory and functional programming.
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
Type theory project
An experimental language exploring two-level type theory to achieve compile-time evaluation of dynamic features
namin/dot155
Type theory proof
Mechanized proof of soundness for a type-theoretic foundation for languages like Scala
TypeScript tutorial hub
A comprehensive collection of resources and tutorials to help developers learn TypeScript
hott/coq-hott1.3K
Homotopy Type Theory Library
A Coq library for interpreting Martin-Löf's intensional type theory into abstract homotopy theory and relating it to higher category theory.
Type theory engine
A theorem prover and a programming language based on Homotopy Type Theory
Theory textbook
Teaching materials and resources for a doctoral course on homotopy theory and type theory
Programming tutorial
A curated list of educational resources to learn programming fundamentals and web development skills.
Type theory implementation
Formalizes Nuprl's Constructive Type Theory in Coq, focusing on its computation system, type system, inference rules, and consistency.
Type class laws
A collection of type class laws for property-based testing
ifttt/polo777
Data generator
Tool generates sample data from database models for testing and development purposes
Type utilities
A set of reusable type utility functions for TypeScript
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Type generator
Tool to automatically generate TypeScript types from JSON schema definitions.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions learn-tt.
