Prism Lab @ IIT Madras (@prismlab)
  • Stars
    star
    31
  • Global Org. Rank 98,412 (Top 32 %)
  • Registered over 5 years ago
  • Most used languages
    OCaml
    33.3 %
    F*
    33.3 %
    Dockerfile
    16.7 %
  • Location 🇮🇳 India
  • Country Total Rank 21,220
  • Country Ranking
    F*
    1
    OCaml
    12