Isaac van Bakel's repositories
yesod-katip
Use Katip in Yesod
submodule-dependency
GitHub action to checkout submodule changes that are required for a pull request
charon
Interface with the rustc compiler for the purpose of program verification
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
docker-zulip
Container configurations, images, and examples for Zulip.
haskell-gi
Generate Haskell bindings for GObject-Introspection capable libraries
haskell-mu
Attempts to embed lambda-mu semantics in Haskell
hedis
A Redis client library for Haskell.
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
persistent
Persistence interface for Haskell allowing multiple storage methods.
persistent-pagination
Efficient and correct pagination!
pool
A high-performance striped resource pooling implementation for Haskell
yesod
A RESTful Haskell web framework built on WAI.
zulip
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.