Van Dang Tran (@dangtv)
github

dangtv

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    23
  • Global Rank 587,022 (Top 21 %)
  • Followers 9
  • Following 2
  • Registered about 9 years ago
  • Most used languages
    OCaml
         66.7 %
    Jupyter Notebook
         33.3 %
  • Location 🇯🇵 Japan
  • Country Total Rank 10,735
  • Country Ranking
    OCaml
         33
    Jupyter Notebook
         1,502

Top repositories

1

BIRDS

Bidirectional transformation for Relational view update Datalog-based Strategies
OCaml
21
star
2

ba-check

Büchi Automata
OCaml
1
star
3

google-cluster-data-analysis

Jupyter Notebook
1
star