joelburget

plur

Plurality Monad: Zero, one, or at least two.

lvca-hs

language verification, construction, and automation

gadts

The contents of a talk on GADTs

mylens

isl-hs

haskell bindings to the integer set library

secret

a-la-carte

huttons-raz3r

language-python

motivated-list-checking

planetary

playing with programming languages again

symmetric-properties

`Same` / `Unique` monoidal witnesses

book

Owl Tutorial Book V1

bs-jest

BuckleScript bindings for Jest

CodeMirror

In-browser code editor

coq-remote-plugin

haskeline

A Haskell library for line input in command-line programs.

hledger

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

hs-git

git protocol and storage in pure haskell

hspec

A Testing Framework for Haskell

incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

irmin

Irmin is a distributed database that follows the same design principles as Git

matchable

Matchable Functors

oh-my-fish

The Fish Shell Framework

pact

The Pact Smart Contract Language

planetary.sh

react-diff-view

A git diff component

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

stackage

"Stable Hackage": vetted consistent packages from Hackage

tuple-morph

Morph between tuples with the same "flattened" representation.