Pinned Repositories
cubical
An experimental library for Cubical Agda
adventOfCode
My solutions to 'advent of code' exercises
agda
Agda is a dependently typed programming language / interactive theorem prover.
cubical
DCHoTT-Agda
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
ExactArithmetic
Calculate without loss of precision
FastFluidDynamics
HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
synthetic-geometry
Synthetic geometry. Probably mostly algebraic geometry.
synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
felixwellen's Repositories
felixwellen/DCHoTT-Agda
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
felixwellen/synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
felixwellen/synthetic-geometry
Synthetic geometry. Probably mostly algebraic geometry.
felixwellen/FastFluidDynamics
felixwellen/HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
felixwellen/ExactArithmetic
Calculate without loss of precision
felixwellen/adventOfCode
My solutions to 'advent of code' exercises
felixwellen/agda
Agda is a dependently typed programming language / interactive theorem prover.
felixwellen/cubical
felixwellen/agda-learning-group
felixwellen/agda-stdlib
The Agda standard library
felixwellen/algebra-experiments
felixwellen/cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
felixwellen/DSLsofMath
Domain Specific Languages of Mathematics
felixwellen/formally_etale
felixwellen/fstar-mode.el
Emacs support for F*
felixwellen/gitit
A wiki using HAppS, pandoc, and git
felixwellen/HoTT-Agda
Development of homotopy type theory in Agda
felixwellen/hott3
HoTT in Lean 3
felixwellen/hula
A new and tiki code generator for tango-controls device servers
felixwellen/instiki2git
A script for exporting an Instiki installation to a git repository.
felixwellen/json
JSON for Modern C++
felixwellen/mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/
felixwellen/rocky-tools
felixwellen/theHoTTGameGuide
felixwellen/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.