Giters
Richard Eisenberg (goldfirere)

goldfirere

Geek Repo

720

followers

0

following

1

stars

Company:@janestreet

Location:Philadelphia, PA

Home Page:https://richarde.dev/

Twitter:@RaeHaskell

Github PK Tool:Github PK Tool

Richard Eisenberg's starred repositories

ott

The Ott tool for writing definitions of programming languages and calculi

Language:OCamlLicense:NOASSERTIONStargazers:343Issues:15Issues:51