homotopy topic

Source code for lecture notes

sreahw

Development of homotopy type theory in Agda

HoTT

Proving Ground: Tools for Automated Mathematics

siddhartha-gadgil

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

janverschelde

Source code for Deep Multigrid method https://arxiv.org/pdf/1711.03825.pdf

amkatrutsa