Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Vscode Pvs

LAR-19642-1: Visual Studio Code Extension for PVS
Stars
36
License
other
Open Issues
3
Most Recent Commit
a year ago
Programming Language
TypeScript
Categories
Repo
Suggest An Alternative To vscode-pvs
Popular Vscode Projects
Code Server ⭐ 65,039
VS Code in the browser
dependent packages 3total releases 300latest release November 29, 2023most recent commit 19 days agonpm code-server} Downloads
Monaco Editor ⭐ 38,270
A browser based code editor
dependent packages 2,531total releases 657latest release December 09, 2023most recent commit 3 days agonpm monaco-editor} Downloads
Coc.nvim ⭐ 23,671
Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
dependent packages 371total releases 110latest release August 31, 2023most recent commit 3 months agonpm coc.nvim} Downloads
Popular Government Projects
Uswds ⭐ 6,587
The U.S. Web Design System helps the federal government build fast, accessible, mobile-friendly websites.
dependent packages 50total releases 101latest release April 07, 2023most recent commit 3 months agonpm uswds} Downloads
Popular Integrated Development Environments Categories
Xcode
Vscode
Ide
Atom Editor
Eclipse
Visual Studio
Vscode Extension
Intellij
Android Studio
Anaconda

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Typescript
Vscode
Government
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.