Pinned Repositories
agda-base
Base library for HoTT in Agda
agda-categories
Category theory and algebra
agdaTest
just some experiments
automata
finite state .s.o. in idris
BirdLists
book
A textbook on informal homotopy type theory
CartesianSeminar
Notes and Material for the Cartesian Seminar at the University of Potsdam
CId
a little category theory in Idris
cubicaltt
Geometric_Duality
CS project Julian Bruns SS23
TimRichter's Repositories
TimRichter/CId
a little category theory in Idris
TimRichter/BirdLists
TimRichter/agda-base
Base library for HoTT in Agda
TimRichter/agda-categories
Category theory and algebra
TimRichter/agdaTest
just some experiments
TimRichter/automata
finite state .s.o. in idris
TimRichter/book
A textbook on informal homotopy type theory
TimRichter/CartesianSeminar
Notes and Material for the Cartesian Seminar at the University of Potsdam
TimRichter/cubicaltt
TimRichter/Geometric_Duality
CS project Julian Bruns SS23
TimRichter/HoTT
Homotopy type theory
TimRichter/Idris-dev
A Dependently Typed Functional Programming Language
TimRichter/margritCode
TimRichter/margritLaTeX
Tex Code
TimRichter/MGS-domain-theory
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
TimRichter/music21
music21 is a Toolkit for Computational Musicology
TimRichter/rezk_completion
Rezk completion
TimRichter/RingIdris
Ring solver for Idris
TimRichter/SeqDecProbs
TimRichter/TimRichter.github.io
TimRichter/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.