Henning Basold's repositories
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
AlgTheoryHIT
Free algebraic theories as HITs
Audio
Teensy Audio Library
Language:C++000
categories
Categories parametrized by morphism equality, in Agda
000
erc-latex-template
LaTeX template for ERC proposals
LPPL-1.3c000
erc_template
ERC Starting Grant template (2016)
MIT000
Language:Haskell000
H2020-MSCA-IF-20XY
LaTeX template for Marie Sklodowska-Curie Individual Fellowships application (H2020-MSCA-IF-20XY)
Language:TeX000
GPL-3.0000
netkat
The NetKAT Framework
MIT000
Language:TeX000
Language:Agda000
OpenLogic
An open-source, customizable intermediate logic textbook
CC-BY-4.0000
Language:Java000
Language:HaskellMIT000
Language:AgdaMIT000