Dafny is a verification-aware programming language
- programming-language
- verification
Repository Index
68,261 visible repositories in the index
1–2 of 2 · Most stars
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
68,261 visible repositories in the index
1–2 of 2 · Most stars
Dafny is a verification-aware programming language
IL2C - A translator for ECMA-335 CIL/MSIL to C language.