Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Digestif | 212 | a year ago | 2 | other | Lua | |||||
A language server for TeX and friends | ||||||||||
Vdm Vscode | 11 | a year ago | 36 | gpl-3.0 | TeX | |||||
Visual Studio Code extension for VDM language support |