@Priyanka-Mondal
github

Priyanka-Mondal

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    3
  • Global Rank 1,854,108 (Top 64 %)
  • Followers 1
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    HTML
         33.3 %
    Haskell
         33.3 %
    Coq     33.3 %
  • Location ๐Ÿ‡บ๐Ÿ‡ธ United States
  • Country Ranking
    Coq     198
    Haskell
         2,712

Top repositories

1

Coq-Proofs-for-FLAQR-

Coq proofs of robust authorization
Coq
1
star
2

FlameChor

A Haskell library that adds information flow and consensus and fault-tolerant language constructs to HasChor
Haskell
1
star
3

priyanka-mondal.github.io

HTML
1
star