Thomas Carotti (@Carotti)
github

Carotti

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    8
  • Global Rank 1,105,013 (Top 39 %)
  • Followers 25
  • Following 12
  • Registered about 12 years ago
  • Most used languages
    Python
         66.7 %
    Coq     33.3 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 37,997
  • Country Ranking
    Coq     30
    Python
         8,186

Top repositories

1

tagged-union

Python tagged unions (aka sum types, algebraic data types, etc.) with match capabilities
Python
6
star
2

dummy-compiler

Simple coq dummy compiler for playing with proofs about logging
Coq
1
star
3

LeapPythonMac

Just a bunch of kids trying to get LeapMotion SDK working with python3+ on Mac
Python
1
star