Pinned Repositories
agda-halting
agda-pipes
algebraic-laws
A Haskell library defining a collection of algebraic laws
bytes16
debugged
Fishy
a study in fish
hs-tartlet
perfect-vector-shuffle
Library for performing shuffles on vectors
py-lambda
task
task is a to-do list manager
Boarders's Repositories
Boarders/perfect-vector-shuffle
Library for performing shuffles on vectors
Boarders/HoTT-exercises
Boarders/task
task is a to-do list manager
Boarders/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Boarders/2d-physics
Boarders/721
Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
Boarders/aeson
A fast Haskell JSON library
Boarders/agda-arrays
Boarders/agda-categories
A new Categories library for Agda
Boarders/agda-regular-langs
Boarders/agda-stdlib
The Agda standard library
Boarders/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
Boarders/boarders.github.io
Boarders/chronos
Haskell time library focusing on performance
Boarders/containers
Assorted concrete container types
Boarders/cubical-alg
Boarders/cubical-stlc-norm
Boarders/emacs-Setup
Boarders/extra
Extra Haskell functions
Boarders/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
Boarders/haskell-library-picker
domain-based library choice assistant for Haskell
Boarders/logic-rs
Boarders/math
A mini-book on category theory.
Boarders/maths-diagrams
Boarders/proust
Boarders/sebastian
Boarders/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
Boarders/xkcd-colours
Boarders/yaml
Support for serialising Haskell to and from Yaml.
Boarders/ziglings