Ion Alberdi (@yetanotherion)
github

yetanotherion

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 22
  • Following 25
  • Registered over 12 years ago
  • Most used languages
    OCaml
         85.7 %
    Coq     14.3 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 17,102
  • Country Ranking
    Coq     53
    OCaml
         120

Top repositories

1

fbgraph_ml

Bindings of the facebook javascript graph-api in ocaml.
OCaml
4
star
2

ml2mxml

create musicxml files from ocaml
OCaml
2
star
3

eliom_and_facebook

OCaml
2
star
4

ciproofs

Proofs of different Continous Integration process properties.
Coq
1
star
5

cv

OCaml
1
star
6

korala

OCaml
1
star
7

hizkuntzak

Games to learn languages
OCaml
1
star