homotopy-type-theory-course
by andrejbauer
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
AI summary
Theory textbook
Teaching materials and resources for a doctoral course on homotopy theory and type theory
- stars
- 287
- forks
- 8
- watching
- 20
Similar projects
Found by comparing what the projects do, not just their names.
Type theory engine
A theorem prover and a programming language based on Homotopy Type Theory
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.
jozefg/learn-tt2.2K
Type theory resource
A collection of resources for learning type theory and related fields
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
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
Cryptography lecture notes
Lecture notes and resources for an introductory cryptography course
Topological analyzer
A software library for persistent homology and topological data analysis
Homomorphism compiler
A compiler for homomorphic encryption languages
namin/dot155
Type theory proof
Mechanized proof of soundness for a type-theoretic foundation for languages like Scala
Haskell tutorial
A tutorial guide to Haskell programming with annotated example programs.
Data Science Methods
Provides lecture notes and MATLAB code for data science methods
Type transformer library
A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types
Algorithm suite
MATLAB source code repository of various algorithms and utilities from John Burkardt's collection.
Textbook solutions
Solutions to a theoretical computer science textbook, compiled from LaTeX files.
Tree embedding theorems
Provides theorem results for tree embeddings in inductive type theory
