Jonas Höfer's repositories
scoped-effects-agda
An implementation of scoped algebraic effects and handlers in Agda.
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
Language:Agda000
bnfc
BNF Converter
Language:TeX000
cubical
An experimental library for Cubical Agda
Language:AgdaNOASSERTION000
trello
(Incomplete) Haskell bindings for the Trello.com REST API
Language:HaskellBSD-3-Clause000
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)
Language:C++000