Benjamin Pierce (@bcpierce00)
github

bcpierce00

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3,660
  • Global Rank 7,556 (Top 0.3 %)
  • Followers 228
  • Registered about 10 years ago
  • Most used languages
    OCaml
         50.0 %
    TeX
         50.0 %

Top repositories

1

unison

Unison file synchronizer
OCaml
3,750
star
2

interfering

TeX
2
star