Pinned Repositories
algebraic-geometry
Exercises for a course on Algebraic Geometry
HoTT-sheaves
chibi-scheme
Official chibi-scheme repository
cubical
An experimental library for Cubical Agda
HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
hottbook
A textbook on informal homotopy type theory
ReadYou
This is a copy of Reeder, in order to give Android an RSS reader similar to Reeder, combines the interaction logic of Reeder with the design style of Material Design 3 (You).
SRFI-41
Implementation of primitive stream procedures in Scheme
synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
theHoTTGameGuide
lkstl's Repositories
lkstl/synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
lkstl/cubical
An experimental library for Cubical Agda
lkstl/hottbook
A textbook on informal homotopy type theory
lkstl/ReadYou
This is a copy of Reeder, in order to give Android an RSS reader similar to Reeder, combines the interaction logic of Reeder with the design style of Material Design 3 (You).
lkstl/zettelkasten.nvim
A Vim Philosophy Oriented Zettelkasten Note Taking Plugin
lkstl/theHoTTGameGuide
lkstl/algebraic-geometry
Exercises for a course on Algebraic Geometry
lkstl/HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
lkstl/SRFI-41
Implementation of primitive stream procedures in Scheme
lkstl/HoTT-sheaves
lkstl/chibi-scheme
Official chibi-scheme repository