ben blum (@bblum)
github

bblum

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    35
  • Global Rank 438,984 (Top 16 %)
  • Followers 39
  • Registered over 12 years ago
  • Most used languages
    C
         66.7 %
    Haskell
         22.2 %
    TeX
         11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 81,112
  • Country Ranking
    Haskell
         1,240
    TeX
         1,524
    C
         5,339

Top repositories

1

landslide-simics

the landslide codebase (old simics version)
C
9
star
2

landslide

stateless model checking for thread libraries, kernels, and transactional memory
C
9
star
3

sigbovik

stuff I have done for sigbovik -- http://sigbovik.org
TeX
7
star
4

wordle

automatic solver for the hit game "hello wordl"
Haskell
4
star
5

landslide-old

Version of landslide for students to use.
C
1
star
6

oopsla-quicksand

just a little something i made for oopsla
C
1
star
7

atomic-all-nighters

static context checking for kernel codebases
C
1
star
8

aoc

Advent of Code
Haskell
1
star
9

bistromath

a chess engine i wrote
C
1
star