Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Vscode Tlaplus

TLA+ language support for Visual Studio Code
Stars
327
License
mit
Open Issues
68
Most Recent Commit
3 months ago
Programming Language
TypeScript
Categories
Repo
Suggest An Alternative To vscode-tlaplus
Popular Vscode Extension Projects
Git History ⭐ 13,480
Quickly browse the history of a file from any git repository
dependent packages 2total releases 7latest release March 19, 2019most recent commit a year agonpm git-file-history} Downloads
Pretty Ts Errors ⭐ 11,897
🔵 Make TypeScript errors prettier and human-readable in VSCode 🎀
dependent packages 2total releases 4latest release April 18, 2023most recent commit 3 months agonpm pretty-ts-errors-lsp} Downloads
Popular Formal Methods Projects
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 3 months agocargo sled} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months agonuget PCheckerCore} Downloads
Hacl Star ⭐ 1,575
HACL*, a formally verified cryptographic library written in F*
dependent packages 2total releases 11latest release June 15, 2023most recent commit a month agonpm hacl-wasm} 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.
Vscode Extension
Formal Methods
Model Checking
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.