Apps tagged with 'vs-code-extension'

All apps in Apps tagged with 'vs-code-extension' category. Use the filters below to narrow down your search.

Lean Programming Language
1 like
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Cost / License
Free
Open Source (Apache-2.0)
Application type
Programming Language
Origin
United States
Platforms
Visual Studio Code
Best alternatives are Rocq ProverandIsabelle
3 alternatives
VSCoder Copilot
Like
VSCoder Copilot connects your mobile device to your desktop VS Code instance, giving you real-time access to GitHub Copilot and your codebase — securely, without VPNs or open ports.
Cost / License
Paid
Proprietary
Origin
Türkiye
Platforms
Android
Android Tablet
Visual Studio Code
+1