Priyanka-Mondal/priyanka-mondal.github.io Priyanka-Mondal/priyanka-mondal.github.io

  • Stars
    star
    1
  • Language
    HTML
  • License
    MIT License
  • Created over 1 year ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Priyanka-Mondal/priyanka-mondal.github.io
github

Priyanka-Mondal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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