JaSpa

LazyJSON

addy

A full-featured library for parsing, validating, and rendering email addresses

AlgST

Parser and Typechecker for Algebraic Session Types

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

diagnose

A simple library for reporting compiler/interpreter errors

FunctionalProgramming

Support repository for the functional programming lecture (Haskell)

fused-effects

A fast, flexible, fused effect system for Haskell

GVinHs

haskell-flakes-with-extra-libraries

haskell-vim

Custom Haskell Vimscripts

icons

Official open source SVG icon library for Bootstrap.

idiomatic

Deriving Applicative for sum types.. Idiomatically.

imap

A performant IMAP client library

jsdoc-example

ldgv

Label dependent dependent session types

minisat

A minimalistic and high-performance SAT solver

multirec

pandoc-sidenote

Convert Pandoc Markdown-style footnotes into sidenotes

purescript-halogen

A declarative, type-safe UI library for PureScript.

purescript-open-folds

Applicative Folds, in the style of Gabriel Gonzalez' foldl library

require

🔌 Scrap your qualified import clutter

sat-checker

A random sample SAT solver checker

sparql-join-algorithms

tasty

Modern and extensible testing framework for Haskell

threepenny-gui

GUI framework that uses the web browser as a display.

tre

Tree command, improved.

tufte-css

Style your webpage like Edward Tufte’s handouts.

var-trees

vim-colorstepper

Cycle easily through vim color schemes

wsession

Session types without linearity