@grayswandyr
github

grayswandyr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 765,281 (Top 27 %)
  • Followers 8
  • Registered over 10 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 15,943
  • Country Ranking
    OCaml
         103

Top repositories

1

electrod

Formal analysis for the Electrod formal specification language
OCaml
9
star
2

electrumAnalyzer

Electrum Analyzer (MIRROR REPOSITORY ONLY) see
OCaml
4
star
3

model-checking-ltl-and-ctl

Travaux rΓ©alisΓ©s au cours de mon stage d'un mois Γ  l'ONERA DTIM/MAGS
OCaml
1
star