0

Ironclad

The MSR Ironclad project builds provably secure and reliable systems.

Official Site
Github repo
Main metrics
  • Owner: microsoft/Ironclad
  • Platform:
  • License:: Other
  • Category::
  • Topic:
  • Like:
    0
      Compare:

Github stars Tracking Chart

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.

Main metrics

Overview
Name With Ownermicrosoft/Ironclad
Primary LanguageDafny
Program languageC# (Language Count: 14)
Platform
License:Other
所有者活动
Created At2015-09-23 20:44:40
Pushed At2023-06-03 02:12:27
Last Commit At
Release Count3
Last Release Namev0.3 (Posted on )
First Release Namev0.1 (Posted on )
用户参与
Stargazers Count249
Watchers Count55
Fork Count57
Commits Count175
Has Issues Enabled
Issues Count8
Issue Open Count1
Pull Requests Count15
Pull Requests Open Count0
Pull Requests Close Count3
项目设置
Has Wiki Enabled
Is Archived
Is Fork
Is Locked
Is Mirror
Is Private