Holden Lee (@holdenlee)
github

holdenlee

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    130
  • Global Rank 171,488 (Top 6 %)
  • Followers 71
  • Following 13
  • Registered almost 12 years ago
  • Most used languages
    TeX
         40.9 %
    Haskell
         22.7 %
    HTML
         13.6 %
    Python
         9.1 %
    Elm
         9.1 %
    PureScript     4.5 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 40,863
  • Country Ranking
    PureScript     50
    TeX
         240
    Elm
         434
    Haskell
         623

Top repositories

1

number-theory

Open-source number theory textbook
TeX
55
star
2

purescript-games

Simple games implemented in purescript
PureScript
15
star
3

simons-ml

Notes from Simons Institute program "Foundations of Machine Learning"
TeX
13
star
4

mathnotes

TeX
9
star
5

depgraph

Draw dependency graphs for math theorems
Haskell
7
star
6

HasFlow

Write Haskell, compile to Tensorflow
Haskell
5
star
7

oops

Notes from Online Open Probability School (OOPS) 2020
TeX
4
star
8

fluidity

Parallel terraced scan architecture from Hofstadter and Mitchell's Copycat
Haskell
4
star
9

holdenlee.github.io

HTML
4
star
10

adversarial

Training on adversarial examples
Python
2
star
11

mlds

TeX
1
star
12

CoinLang

Haskell
1
star
13

learn-grammar

Python
1
star
14

omc

TeX
1
star
15

Namba

Fast-paced game involving arithmetic and functional programming
Elm
1
star
16

notebook

Research notebook
HTML
1
star
17

templates

LaTeX templates
TeX
1
star
18

blog

1
star
19

theorem-prover

Haskell
1
star
20

aisfp17

TeX
1
star
21

mat597

Notes from PHY521/MAT597 (Mathematical Physics), Spring 2016
TeX
1
star
22

elm

Elm
1
star
23

philosophocle

A pinnacle of higher education
HTML
1
star