Boarders

perfect-vector-shuffle

Library for performing shuffles on vectors

HoTT-exercises

task

task is a to-do list manager

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

2d-physics

721

Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021

aeson

A fast Haskell JSON library

agda-arrays

agda-categories

A new Categories library for Agda

agda-regular-langs

agda-stdlib

The Agda standard library

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

boarders.github.io

chronos

Haskell time library focusing on performance

containers

Assorted concrete container types

cubical-alg

cubical-stlc-norm

emacs-Setup

extra

Extra Haskell functions

formalising-mathematics-2022

Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

haskell-library-picker

domain-based library choice assistant for Haskell

logic-rs

math

A mini-book on category theory.

maths-diagrams

proust

sebastian

text

An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.

xkcd-colours

yaml

Support for serialising Haskell to and from Yaml.

ziglings