Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Tal0 | 14 | 7 years ago | mit | Coq | ||||||
Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety. | ||||||||||
Ni Formal Gc | 6 | 5 years ago | mit | Coq | ||||||
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level. |