Pinned Repositories
book
A textbook on informal homotopy type theory
cabal
Official upstream development repository for Cabal and cabal-install
haskell-locators
Haskell implementation of reals equipped with locators
haskell-wayland
DEPRECATED Haskell bindings for the Wayland library
haskell-xkbcommon
Haskell bindings for libxkbcommon
jazz
i bet you there is a typesystem behind music
parametricityandlem-agda
Agda development for "Parametricity, automorphisms of the universe, and excluded middle"
PyBRML
Python Version of BRML toolbox for Bayesian Reasoning and Machine Learning
sudbury
Haskell implementation of the wayland protocol
wiwikwlhott
What I wish I knew when learning HoTT
abooij's Repositories
abooij/wiwikwlhott
What I wish I knew when learning HoTT
abooij/haskell-xkbcommon
Haskell bindings for libxkbcommon
abooij/haskell-locators
Haskell implementation of reals equipped with locators
abooij/book
A textbook on informal homotopy type theory
abooij/ci-info-hs
Get details about the current Continuous Integration environment - Haskell port of https://github.com/watson/ci-info
abooij/Dagstuhl-tables
Dagstuhl's Happy Diner Problem
abooij/graphql-bench
A super simple tool to benchmark GraphQL queries
abooij/graphql-engine
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
abooij/graphql-parser-hs
A GraphQL query parser for Haskell
abooij/graphql-spec
GraphQL is a query language and execution engine tied to any backend service.
abooij/haskell-actions
Github actions for Haskell CI
abooij/Haskell-MMorph-Library
Monad morphisms
abooij/hledger
Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger.
abooij/hlint-run
Reusable GitHub Action to run hlint in a workflow. Use with haskell-actions/hlint-setup.
abooij/HoTT
Homotopy type theory
abooij/HoTT-Agda
Development of homotopy type theory in Agda
abooij/hpack
hpack: A modern format for Haskell packages
abooij/kristina.auke.xyz
abooij/mysql
A lightweight Haskell binding to the C mysqlclient API
abooij/pdfpc-latex-notes
Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
abooij/pg-client-hs
A low level Haskell library to connect to postgres
abooij/quickcheck
Automatic testing of Haskell programs.
abooij/snoyman.com
abooij/svix-webhooks
The enterprise-ready webhooks service 🦀
abooij/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.
abooij/test-deploy
testing travis gh-pages deployment
abooij/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
abooij/thinking-with-types
📖 source material for Thinking with Types
abooij/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
abooij/zfoh.ch
Our homepage