Rajarshi Roy (@rajarshi008)
github

rajarshi008

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 764,534 (Top 27 %)
  • Followers 6
  • Following 6
  • Registered almost 9 years ago
  • Most used languages
    Python
         100.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 38,259
  • Country Ranking
    Python
         5,516

Top repositories

1

Scarlet

Tool for learning linear temporal logic formulas using combinatorial approach
Python
14
star
2

LTLSketcher

Python
1
star