Name: Richard Eisenberg
Type: User
Company: @janestreet
Bio: I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
Twitter: RaeHaskell
Location: Philadelphia, PA
Blog: https://richarde.dev/
bib
Richard Eisenberg's BiBTeX file
book
V2 of Real World OCaml
core-libraries-committee
cs113
Course materials for Bryn Mawr's CS113: Computer Science I
cs206
Course materials for Bryn Mawr's CS206: Introduction to Data Structures
cs231
Course materials for Bryn Mawr's CS231: Discrete Math
cs380
Public copy of repo used to run my CS 380 course at Bryn Mawr College
deepseq
Deep evaluation of data structures
dependent-db
disco
Functional teaching language for use in a discrete mathematics course
dragon
A home for the Coq files in an attempt to defeat the dragon in the axioms paper.
effects
A Haskell translation of Idris's original algebraic effects library
eiger
An experiment in representing legal regulations in Haskell code
flambda-backend
The Flambda backend project for OCaml
funeq
Haskell files to allow easy comparison of functions in repl.it
generic-random
Generic random generators
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
ghc-homepage
Main website for the Glasgow Haskell Compiler
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
ghc-wiki
The GHC Wiki
github
The github API for Haskell
glambda
The home of the Glamorous Glambda interpreter
haddock
Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE
house
hunit-approx
A small Haskell package allowing comparison of floating point values with HUnit
janestreet-videos
Resources attached to the videos I have made for Jane Street
lambdaconf-2015
The official supporting materials repository for LambdaConf 2015.
layout-polymorphism
A place to stash documents, thought, etc. about the design for layout polymorphism in OCaml
lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
linear
Low-dimensional linear algebra primitives for Haskell.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
