James Faure (@jfaure)
github

jfaure

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    101
  • Global Rank 206,374 (Top 8 %)
  • Followers 10
  • Following 1
  • Registered over 7 years ago
  • Most used languages
    Haskell
         100.0 %
  • Location 🇫🇷 France
  • Country Total Rank 5,162
  • Country Ranking
    Haskell
         21

Top repositories

1

Irie-lang

Subtyping calculus of inductive constructions
Haskell
51
star
2

lfvm-stg

Map lazy functional language constructs to LLVM IR
Haskell
50
star