LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Builders

@janestreet

Richard Eisenberg

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

GitHubWebsite
Followers
779
Public repos
66
Stars (recent)
659
Ecosystems
1

Projects

Repositories this builder owns.

singletons
Fake dependent types in Haskell using singletons
295
web
No description.
2
ifip-wg28.github.io
IFIP WG 2.8 Website
—
th-desugar
Desugars Template Haskell abstract syntax to a simpler format without changing semantics
22

Connected narratives

AI AgentsConsumer CryptoSocialFiStablecoinsAgent CommerceOnchain Apps

Related builders

Others building in the same ecosystem.

Jesse Pollak
1.3K followers
0xDeployer
— followers
Xen
— followers
Ahaan Raizada
— followers
Youssef
— followers
Igor Yuzo
— followers
ocaml
The core OCaml system: compilers, runtime system, base libraries
—
flambda-backend
The Flambda backend project for OCaml
—
units
The home of the units Haskell package
101
glambda
The home of the Glamorous Glambda interpreter
229

Recent activity

Most recently pushed work.

  • goldfirere/singletons
    pushed 28d ago
  • goldfirere/web
    pushed 2mo ago
  • goldfirere/ifip-wg28.github.io
    pushed 3mo ago
  • goldfirere/th-desugar
    pushed 4mo ago