86 skills found · Page 1 of 3
HoTT / BookA textbook on informal homotopy type theory
HoTT / Coq HoTTA Coq library for Homotopy Type Theory
HoTT / HoTT AgdaDevelopment of homotopy type theory in Agda
the1lab / 1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
EgbertRijke / HoTT IntroAn introductory course to Homotopy Type Theory
andrejbauer / Homotopy Type Theory CourseA course on homotopy theory and type theory, taught jointly with Jaka Smrekar
JuliaHomotopyContinuation / HomotopyContinuation.jlA Julia package for solving systems of polynomials via homotopy continuation.
siddhartha-gadgil / ProvingGroundProving Ground: Tools for Automated Mathematics
sreahw / Schuller GeometricSource code for lecture notes
HoTT-Intro / AgdaAgda formalisation of the Introduction to Homotopy Type Theory
homotopy-io / Homotopy RsA Rust/WASM implementation of homotopy.io
HoTT / EPIT 2020EPIT 2020 - Spring School on Homotopy Type Theory
andrejbauer / HomotopyHomotopy theory in Coq.
valis / HoqA language based on homotopy type theory with an interval
janverschelde / PHCpackThe primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
felixwellen / DCHoTT AgdaDifferential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
RobertHarper / Hott Notes15-819 (Homotopy Type Theory) Lecture Notes
emilyriehl / 721Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
srl-freiburg / Srl Rhcf PlannerA move_base ROS global_planner plug-in that quickly finds from a socially-informed Voronoi diagram a set of homotopy classes and generates a kinodynamic trajectory, into the best class, by using an optimal sampling-based motion planner
sasif / L1 HomotopyCodes related to L1-norm minimization using homotopy
