C. Moisés Vázquez Reyes (@spidermoy)
github

spidermoy

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    15
  • Global Rank 765,281 (Top 27 %)
  • Followers 20
  • Following 12
  • Registered about 6 years ago
  • Most used languages
    Haskell
         60.0 %
    Coq     40.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 145,420
  • Country Ranking
    Coq     153
    Haskell
         765

Top repositories

1

Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work
Haskell
5
star
2

OnTheFly_ModelChecking

Efficient On-the-Fly Model Checking for LTL and CTL★.
Haskell
5
star
3

S3_multipart_upload

Multipart upload of a file to Amazon S3 with Haskell
Haskell
3
star
4

LTL_Coq

Linear Temporal Logic formalized in Coq
Coq
1
star
5

Monads_KleisliTriples_Proof

Computer Scientist Degree - Thesis Work
Coq
1
star