Spec#
programming language with specification language features that extends the capabilities of the C# programming language
Created Year: 2004Developed by: Microsoft Research
Wikidata: Q1717800
Programming paradigms: multi-paradigm programming
Search on GitHub
Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
---|
Latest data update: 2022-09-16