Jonas Höfer's repositories
scoped-effects-agda
An implementation of scoped algebraic effects and handlers in Agda.
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
agda-strong-normalization
A proof of strong normalization for the simply typed lambda calculus in Agda (without the K axiom).
compile_time_differentiation
A small C++ library for differentiating expressions at compile time.
agda-ci-test
Repository to test an Agda CI Pipeline using GutHub actions
bnfc
BNF Converter
Language:TeX000
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
yet-another-engine
One of my old OpenGL projects. It mostly follows the learnopengl.com book. (files in dependencies and models/textures/... are from the obvious sources)
format-checker
Checks the file format of this course
Language:HTMLMIT000