Vscode Ply | Dafny Vscode | |
---|---|---|
Stars | 41 | 19 |
Downloads | ||
Dependent Packages | 3 | |
Dependent Repos | 2 | |
Most Recent Commit | 6 months ago | 3 years ago |
Total Releases | 15 | |
Latest Release | December 07, 2017 | |
Open Issues | 47 | 23 |
License | mit | mit |
Programming Language | TypeScript | TypeScript |