abooij Goto Github PK

book

A textbook on informal homotopy type theory

cabal

Official upstream development repository for Cabal and cabal-install

cargo-hold

Examples and proofs in category theory

ci-info-hs

Get details about the current Continuous Integration environment - Haskell port of https://github.com/watson/ci-info

cubicaltt

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-locators

Haskell implementation of reals equipped with locators

haskell-mmorph-library

Monad morphisms

haskell-wayland

DEPRECATED Haskell bindings for the Wayland library

haskell-xkbcommon

Haskell bindings for libxkbcommon

hledger

Robust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger.

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

hottclasses

Like Math Classes but for HoTT

hpack

hpack: A modern format for Haskell packages

hs-libdrm

A Haskell binding to libdrm

jazz

i bet you there is a typesystem behind music

kristina.auke.xyz

martin-lof

papers of Per Martin Löf

megaparsec

Industrial-strength monadic parser combinator library

mysql

A lightweight Haskell binding to the C mysqlclient API

parametricityandlem-agda

Agda development for "Parametricity, automorphisms of the universe, and excluded middle"

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