Martin Pépin (@Kerl13)
github

Kerl13

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 14
  • Following 11
  • Registered over 9 years ago
  • Most used languages
    C
         42.9 %
    OCaml
         28.6 %
    Haskell
         14.3 %
    Python
         14.3 %
  • Location 🇫🇷 France
  • Country Total Rank 14,467
  • Country Ranking
    Haskell
         96
    OCaml
         214
    C
         1,158
    Python
         7,875

Top repositories

1

AsciiMath

Compiler from asciimath to LaTeX
Haskell
8
star
2

tree-sitter-menhir

Menhir grammar for tree-sitter
C
5
star
3

randdag

Counting and uniform random generation of several classes of DAGs
C
4
star
4

rustre

Compiler from a subset of Lustre to Rust
OCaml
2
star
5

GHA

GitHub Announcer for IRC
Python
2
star
6

combination_unranking

Comparison of lexicographic unranking algorithms of combinations (subsets of size k of {0, 1, 2, …, n-1})
C
2
star
7

ANSIToHTML

Converter from ANSI to HTML
OCaml
1
star