Simon Hauguel (@SimonHauguel)
github

SimonHauguel

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    37
  • Global Rank 421,862 (Top 15 %)
  • Followers 35
  • Following 38
  • Registered about 4 years ago
  • Most used languages
    Haskell
         50.0 %
    HTML
         25.0 %
    Lean     25.0 %
  • Location 🇫🇷 France
  • Country Total Rank 9,357
  • Country Ranking
    Lean     13
    Haskell
         39
    HTML
         6,128

Top repositories

1

Paso

Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
Haskell
29
star
2

lambda

Implementation lambda-calcul haskell
Haskell
6
star
3

Lec

Future programming language
Lean
1
star
4

SimonHauguelBlog

Mon blog en 🇫🇷
HTML
1
star