fouche's repositories
Language:TeX000
Language:TeX000
Language:TeX000
alta-typst
A simple Typst CV template, inspired by AltaCV by LianTze Lim.
Language:TeXMIT000
Language:TeX000
habib
My beloved bib parser
Language:HaskellNOASSERTION000
Language:TeX000
Language:TeX000
agda-categories
A new Categories library for Agda
Language:AgdaMIT000
Language:TeX000
Language:CSS000
compositionality-latex-template
The Compositionality article class.
Language:TeX000
yoneda-in-tongues
Yoneda lemma in every known language
categorical-automata
Bicategories of automata, completeness of F-automata in monoidal categories
000
monmonmon
Monads in monads in monads in monads in monads in...
Language:TeX000
awesome-double-categories
A list of works and resources about double category theory, with a particular focus on applications.
000
000
Language:Python000
Language:TeX000
Language:TeX000
agda-stdlib
The Agda standard library
NOASSERTION000
yoneda-ontology
Yoneda lemma, homotopy and ontology