Thomas Wies (@wies)
github

wies

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    42
  • Global Rank 385,755 (Top 14 %)
  • Followers 22
  • Registered almost 12 years ago
  • Most used languages
    OCaml
         50.0 %
    C
         50.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 74,062
  • Country Ranking
    OCaml
         143

Top repositories

1

grasshopper

An automated deductive program verifier.
OCaml
39
star
2

vermeer

An Automated Debugging Tool for C
C
3
star