Skip to content

secure-foundations/Mariposa-Ironclad

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

About

To learn more about the Ironclad Apps project, please see the related README file.

To learn more about the IronFleet project, please see the related README file.

About

The MSR Ironclad project builds provably secure and reliable systems.

Resources

License

Security policy

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Dafny 60.4%
  • C# 28.8%
  • C++ 4.1%
  • F# 2.3%
  • Assembly 1.4%
  • Python 1.0%
  • Other 2.0%