Richard Eisenberg (@goldfirere)
github

goldfirere

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,009
  • Global Rank 30,333 (Top 2 %)
  • Followers 652
  • Registered over 12 years ago
  • Most used languages
    Haskell
         70.4 %
    TeX
         7.4 %
    Coq     7.4 %
    HTML
         7.4 %
    Standard ML     3.7 %
    Java
         3.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 8,652
  • Country Ranking
    Haskell
         30
    Coq     94
    Standard ML     166
    TeX
         2,421

Top repositories

1

singletons

Fake dependent types in Haskell using singletons
Haskell
285
star
2

glambda

The home of the Glamorous Glambda interpreter
Haskell
214
star
3

thesis

Richard A. Eisenberg's PhD Dissertation
Haskell
204
star
4

units

The home of the units Haskell package
Haskell
95
star
5

effects

A Haskell translation of Idris's original algebraic effects library
Haskell
41
star
6

dependent-db

Haskell
20
star
7

th-desugar

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

nyc-hug-oct2014

Repo for code from my NYC Haskell Users' Group talk on Oct. 24, 2014
Haskell
13
star
9

units-defs

Public repo for the units-defs package of well-typed unit definitions.
13
star
10

video-resources

Resources to look at in concert with my Haskell videos
Haskell
13
star
11

triptych

The code for my 2016 Haskell Implementors' Workshop talk
Haskell
9
star
12

cs380

Public copy of repo used to run my CS 380 course at Bryn Mawr College
Haskell
7
star
13

wordle

A wordle guess analyzer, demonstrated as part of a video series in early 2022.
Haskell
7
star
14

type-reflection

Support functions to work with GHC's Type.Reflection, including pretty-printing.
Haskell
6
star
15

funeq

Haskell files to allow easy comparison of functions in repl.it
Haskell
5
star
16

eiger

An experiment in representing legal regulations in Haskell code
Haskell
5
star
17

HUnit-approx

A small Haskell package allowing comparison of floating point values with HUnit
Haskell
4
star
18

ott-tutorial

A tutorial on the ott tool for presenting type theory
Coq
4
star
19

cs206

Course materials for Bryn Mawr's CS206: Introduction to Data Structures
Java
3
star
20

bib

Richard Eisenberg's BiBTeX file
TeX
3
star
21

runtime-instances

Runtime class instance lookup
Haskell
2
star
22

house

Haskell
2
star
23

cs231

Course materials for Bryn Mawr's CS231: Discrete Math
Coq
2
star
24

web

HTML
2
star
25

cs113

Course materials for Bryn Mawr's CS113: Computer Science I
HTML
2
star
26

no-role-annots

Role annotations without -XRoleAnnotations
Haskell
1
star
27

janestreet-videos

Resources attached to the videos I have made for Jane Street
Standard ML
1
star
28

layout-polymorphism

A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml
TeX
1
star