Yann Rรฉgis Gianas (@yurug)
github

yurug

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    90
  • Global Rank 224,195 (Top 8 %)
  • Followers 93
  • Following 11
  • Registered about 14 years ago
  • Most used languages
    OCaml
         58.3 %
    HTML
         8.3 %
    Coq     8.3 %
    Shell
         8.3 %
    C
         8.3 %
    Rust
         8.3 %
  • Location ๐Ÿ‡ซ๐Ÿ‡ท France
  • Country Total Rank 5,562
  • Country Ranking
    Coq     36
    OCaml
         49
    Rust
         529
    HTML
         1,265
    Shell
         1,794
    C
         2,634

Top repositories

1

ocaml-crontab

Interacting with cron from OCaml
OCaml
12
star
2

menhir-error-recovery

OCaml
11
star
3

pcomp-2019

Repository of the course "Comparative Programming" of University Paris Diderot
Rust
11
star
4

hj

The Hack Dojo
OCaml
9
star
5

mpri13

ML type inference in presence of type classes
OCaml
9
star
6

ocaml4.04.0-copatterns

An extension of OCaml with Copatterns
OCaml
7
star
7

cts

Material for Static Differentiation in Cache Transfer Style
HTML
6
star
8

parsing-js-semicolon-insertion-hell

Demonstrate how Menhir could be used to deal with Javascript semicolon insertion
OCaml
6
star
9

get-gitlab-forks

Retrieve all the forks of a gitlab project
Shell
5
star
10

coqepit

Your research in Coq
Coq
3
star
11

poca-m2-2018

Cours POCA Master 2, Paris Diderot
C
3
star
12

distar

OCaml
2
star
13

pencil

Yet another hyper-minimal template library
1
star