https://github.com/ivanbakel/hout-prover

A non-interactive proof assistant using the Haskell type system

curry-howard-isomorphism monad proof-assistant

Last synced: 22 Feb 2026

https://github.com/ivanbakel/yesod-katip

Use Katip in Yesod

katip yesod

Last synced: 20 Feb 2026

https://github.com/ivanbakel/ytl

Yesod Transformer Library - MTL for site stacks

mtl site-transformers yesod

Last synced: 21 Oct 2025

https://github.com/ivanbakel/submodule-dependency

GitHub action to checkout submodule changes that are required for a pull request

Last synced: 20 Jan 2026