goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreetPhiladelphia, PA
Pinned Repositories
dependent-db
effects
A Haskell translation of Idris's original algebraic effects library
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
glambda
The home of the Glamorous Glambda interpreter
nyc-hug-oct2014
Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
singletons
Fake dependent types in Haskell using singletons
th-desugar
Desugars Template Haskell abstract syntax to a simpler format without changing semantics
thesis
Richard A. Eisenberg's PhD Dissertation
units
The home of the units Haskell package
units-defs
Public repo for the units-defs package of well-typed unit definitions.
goldfirere's Repositories
goldfirere/singletons
Fake dependent types in Haskell using singletons
goldfirere/units
The home of the units Haskell package
goldfirere/th-desugar
Desugars Template Haskell abstract syntax to a simpler format without changing semantics
goldfirere/units-defs
Public repo for the units-defs package of well-typed unit definitions.
goldfirere/video-resources
Resources to look at in concert with my Haskell videos
goldfirere/wordle
A wordle guess analyzer, demonstrated as part of a video series in early 2022.
goldfirere/eiger
An experiment in representing legal regulations in Haskell code
goldfirere/ott-tutorial
A tutorial on the ott tool for presenting type theory
goldfirere/type-reflection
Support functions to work with GHC's Type.Reflection, including pretty-printing.
goldfirere/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
goldfirere/bib
Richard Eisenberg's BiBTeX file
goldfirere/runtime-instances
Runtime class instance lookup
goldfirere/web
goldfirere/janestreet-videos
Resources attached to the videos I have made for Jane Street
goldfirere/layout-polymorphism
A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml
goldfirere/merlin
Context sensitive completion for OCaml in Vim and Emacs
goldfirere/ocaml-rfcs
Design discussions about the OCaml language
goldfirere/book
V2 of Real World OCaml
goldfirere/core-libraries-committee
goldfirere/deepseq
Deep evaluation of data structures
goldfirere/flambda-backend
The Flambda backend project for OCaml
goldfirere/generic-random
Generic random generators
goldfirere/merlin-jst
Merlin with support for Jane Street extensions
goldfirere/ocaml
The core OCaml system: compilers, runtime system, base libraries
goldfirere/ocaml-jst
OCaml plus Jane Street extensions
goldfirere/ocamlformat
Auto-formatter for OCaml code
goldfirere/scientific
Arbitrary-precision floating-point numbers represented using scientific notation
goldfirere/tech-proposals
The Haskell Foundation Tech Proposal Process
goldfirere/vscode
Visual Studio Code
goldfirere/www.haskell.org
www.haskell.org site source