felixwellen Goto Github PK

adventofcode

My solutions to 'advent of code' exercises

agda

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

agda-learning-group

agda-stdlib

The Agda standard library

algebra-experiments

cubical

cubical-1lab

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

dchott-agda

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

dslsofmath

Domain Specific Languages of Mathematics

exactarithmetic

Calculate without loss of precision

fastfluiddynamics

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

hott-vorlesung

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

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

synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.

synthetic-zariski

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

thehottgameguide

unimath

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