Richard Eisenberg's repositories
singletons
Fake dependent types in Haskell using singletons
flambda-backend
The Flambda backend project for OCaml
th-desugar
Desugars Template Haskell abstract syntax to a simpler format without changing semantics
ocaml
The core OCaml system: compilers, runtime system, base libraries
janestreet-videos
Resources attached to the videos I have made for Jane Street
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
merlin-jst
Merlin with support for Jane Street extensions
ocamlformat
Auto-formatter for OCaml code
layout-polymorphism
A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml
ocaml-jst
OCaml plus Jane Street extensions
ocaml-rfcs
Design discussions about the OCaml language
runtime-instances
Runtime class instance lookup
type-reflection
Support functions to work with GHC's Type.Reflection, including pretty-printing.
video-resources
Resources to look at in concert with my Haskell videos
book
V2 of Real World OCaml
scientific
Arbitrary-precision floating-point numbers represented using scientific notation
deepseq
Deep evaluation of data structures
tech-proposals
The Haskell Foundation Tech Proposal Process
generic-random
Generic random generators
vscode
Visual Studio Code
units-defs
Public repo for the units-defs package of well-typed unit definitions.
www.haskell.org
www.haskell.org site source
ott-tutorial
A tutorial on the ott tool for presenting type theory