LiviaSun's repositories
vale
Verified Assembly Language for Everest
Language:F#Apache-2.0000
sail-blog-new-post
The repository for making new post submissions to the SAIL Blog
Language:HTMLMIT000
Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
000
diem
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Language:RustApache-2.0000
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMTNOASSERTION000
dafny
Dafny is a verification-aware programming language
Language:C#NOASSERTION000
boogie
Boogie
Language:BoogieMIT000