felixwellen

DCHoTT-Agda

Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.

FastFluidDynamics

HoTT-Vorlesung

Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg

ExactArithmetic

Calculate without loss of precision

adventOfCode

My solutions to 'advent of code' exercises

agda

Agda is a dependently typed programming language / interactive theorem prover.

cubical

agda-learning-group

agda-stdlib

The Agda standard library

algebra-experiments

cubical-1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

DSLsofMath

Domain Specific Languages of Mathematics

formally_etale

fstar-mode.el

Emacs support for F*

gitit

A wiki using HAppS, pandoc, and git

HoTT-Agda

Development of homotopy type theory in Agda

hott3

HoTT in Lean 3

hula

A new and tiki code generator for tango-controls device servers

instiki2git

A script for exporting an Instiki installation to a git repository.

json

JSON for Modern C++

mitschriebwiki

Source for http://mitschriebwiki.nomeata.de/

rocky-tools

theHoTTGameGuide

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.