Richard Eisenberg

icon indicating a website link https://richarde.dev/ icon indicating an email [email protected]

icon company @janestreet icon location Philadelphia, PA icon location I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

Results 8 repositories owned by Richard Eisenberg

glambda

217
Stars
27
Forks
Watchers

The home of the Glamorous Glambda interpreter

verified publisher icon goldfirere

dependent-db

20
Stars
1
Forks
Watchers

verified publisher icon goldfirere

effects

41
Stars
3
Forks
Watchers

A Haskell translation of Idris's original algebraic effects library

verified publisher icon goldfirere

ghc

24
Stars
1
Forks
Watchers

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

verified publisher icon goldfirere

singletons

285
Stars
35
Forks
Watchers

Fake dependent types in Haskell using singletons

verified publisher icon goldfirere

th-desugar

19
Stars
14
Forks
Watchers

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

verified publisher icon goldfirere

thesis

206
Stars
8
Forks
Watchers

Richard A. Eisenberg's PhD Dissertation

verified publisher icon goldfirere

units

95
Stars
19
Forks
Watchers

The home of the units Haskell package

verified publisher icon goldfirere