Ravichandhran Madhavan (@ravimad)
github

ravimad

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 13
  • Registered over 11 years ago
  • Most used languages
    Scala
         50.0 %
    C#
         50.0 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 10,513
  • Country Ranking
    Scala
         263
    C#
         847

Top repositories

1

Orb2015

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs
Scala
2
star
2

SEAL

C#
1
star