Ioana Cristescu (@icristescu)
github

icristescu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,106,139 (Top 39 %)
  • Followers 22
  • Registered almost 9 years ago
  • Most used languages
    OCaml
         80.0 %
    TLA     20.0 %
  • Location 🇫🇷 France
  • Country Total Rank 21,471
  • Country Ranking
    TLA     2
    OCaml
         167

Top repositories

1

spec_index

TLA
3
star
2

misc

OCaml
2
star
3

dataset

OCaml
1
star
4

pi2erlang

translate a fragment of pi calculus to erlang
OCaml
1
star
5

benchmarks

OCaml
1
star