Auke Booij's repositories
wiwikwlhott
What I wish I knew when learning HoTT
haskell-xkbcommon
Haskell bindings for libxkbcommon
haskell-locators
Haskell implementation of reals equipped with locators
ci-info-hs
Get details about the current Continuous Integration environment - Haskell port of https://github.com/watson/ci-info
Dagstuhl-tables
Dagstuhl's Happy Diner Problem
graphql-bench
A super simple tool to benchmark GraphQL queries
graphql-engine
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
graphql-parser-hs
A GraphQL query parser for Haskell
graphql-spec
GraphQL is a query language and execution engine tied to any backend service.
haskell-actions
Github actions for Haskell CI
Haskell-MMorph-Library
Monad morphisms
hlint-run
Reusable GitHub Action to run hlint in a workflow. Use with haskell-actions/hlint-setup.
HoTT
Homotopy type theory
HoTT-Agda
Development of homotopy type theory in Agda
hpack
hpack: A modern format for Haskell packages
pdfpc-latex-notes
Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
pg-client-hs
A low level Haskell library to connect to postgres
quickcheck
Automatic testing of Haskell programs.
svix-webhooks
The enterprise-ready webhooks service 🦀
SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
test-deploy
testing travis gh-pages deployment
text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
thinking-with-types
📖 source material for Thinking with Types
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.