Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hott Intro

An introductory course to Homotopy Type Theory
Stars
169
License
cc-by-4.0
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Agda
Categories
Repo
Alternatives To Hott Intro
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Homotopy Type Theory Course214
2 years agoTeX
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Hott Intro169
4 years agocc-by-4.0Agda
An introductory course to Homotopy Type Theory
Alternatives To Hott Intro
Select To Compare


Suggest An Alternative To HoTT-Intro
Alternative Project Comparisons
Hott Intro vs Homotopy Type Theory Course
Popular Course Projects
50projects50days ⭐ 32,757
50+ mini web projects using HTML, CSS & JS
total releases 1latest release June 14, 2022most recent commit 3 months ago
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 6 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Related Searches
Course Book
Types Type Theory
Types Coq
Types Agda
Book Mathematics
Course Mathematics
Types Book
Agda Type Theory
Types Course
Coq Type Theory

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Book
Course
Mathematics
Coq
Type Theory
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.