Eli Sennesh (@esennesh)
github

esennesh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 37
  • Following 39
  • Registered over 13 years ago
  • Most used languages
    Scala
         20.0 %
    Haskell
         20.0 %
    C
         20.0 %
    Jupyter Notebook
         20.0 %
    Coq     20.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 104,666
  • Country Ranking
    Coq     226
    Scala
         1,482
    Haskell
         2,895

Top repositories

1

jllvm

Automatically exported from code.google.com/p/jllvm
C
7
star
2

categorical_bpl

Jupyter Notebook
7
star
3

decac

Automatically exported from code.google.com/p/decac
Scala
6
star
4

lambda-learner

Haskell
1
star
5

cs691PL

Exercises and code ripped-off from the UMass Amherst CS691PL course and Chlipala's "Certified Programming with Dependent Types"
Coq
1
star