goldfirere

singletons

Fake dependent types in Haskell using singletons

units

The home of the units Haskell package

th-desugar

Desugars Template Haskell abstract syntax to a simpler format without changing semantics

units-defs

Public repo for the units-defs package of well-typed unit definitions.

video-resources

Resources to look at in concert with my Haskell videos

wordle

A wordle guess analyzer, demonstrated as part of a video series in early 2022.

eiger

An experiment in representing legal regulations in Haskell code

type-reflection

Support functions to work with GHC's Type.Reflection, including pretty-printing.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ott-tutorial

A tutorial on the ott tool for presenting type theory

bib

Richard Eisenberg's BiBTeX file

runtime-instances

Runtime class instance lookup

web

janestreet-videos

Resources attached to the videos I have made for Jane Street

layout-polymorphism

A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml

merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml-rfcs

Design discussions about the OCaml language

book

V2 of Real World OCaml

core-libraries-committee

deepseq

Deep evaluation of data structures

flambda-backend

The Flambda backend project for OCaml

generic-random

Generic random generators

merlin-jst

Merlin with support for Jane Street extensions

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-jst

OCaml plus Jane Street extensions

ocamlformat

Auto-formatter for OCaml code

scientific

Arbitrary-precision floating-point numbers represented using scientific notation

tech-proposals

The Haskell Foundation Tech Proposal Process

vscode

Visual Studio Code

www.haskell.org

www.haskell.org site source