coq-lsp
theia
| coq-lsp | theia | |
|---|---|---|
| 1 | 49 | |
| 130 | 18,865 | |
| - | 0.5% | |
| 9.1 | 9.6 | |
| about 9 hours ago | 3 days ago | |
| OCaml | TypeScript | |
| GNU Lesser General Public License v3.0 only | Eclipse Public License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
coq-lsp
-
Code completion for Coq.
I don’t know of any. I see there’s a coq LSP in progress but still in very early stages.
theia
-
I can't stand using VSCode so I wrote my own (it wasn't easy)
As an alternative to VSCode, consider Theia[1].
Open-source, runs all the VSCode extensions, etc.
[1] https://theia-ide.org
-
Amazon MSK 101 with Python
Please choose any desired IDE tool to add the below Python script. In my case, I have used Theia-IDE for convenience.
- Theia an Open, Flexible and Extensible Cloud and Desktop IDE Platform
-
Is the source of Google Cloud Shell Editor publicly available for self hosting?
Its based on https://theia-ide.org/
-
VSCodium – Libre Open Source Software Binaries of VS Code
Eclipse runs the Open VSX registry that VS Codium uses. Eclipse also has a fork of VS Code called Theia.
https://open-vsx.org/
https://theia-ide.org/
- [Programmingtools] THEIA ou CODE VS pour le projet IDE open-source.
-
Upvote this GitHub issue. VSCode Marketplace should be open source, or at least documented. That will only mean good things to us (developers).
eclipse theia is that alternative, almost same as vscode but even better (more extensible, portable, etc), and even the fsf regards the eclipse license as free software, and in any case, if you're not happy with the eclipse license you can have it under the GPL anyway, it's dual license https://theia-ide.org/
-
Is the new Arduino IDE based on VS Code in some share or form, or is it simply inspired by the looks of it?
The new 2.0 IDE is based on [Eclipse Theia](https://theia-ide.org
-
Suitable Rust GUI Library for Code Editor?
You should also take a look at Theia, which provides in some respects (e.g., graphical plugins) a more powerful alternative to the VSCode editing shell.
- Developing environment
What are some alternatives?
coq-of-ocaml - Formal verification for OCaml
vscodium - binary releases of VS Code without MS branding/telemetry/licensing
Code-Server - VS Code in the browser
intellij-community - IntelliJ IDEA Community Edition & IntelliJ Platform
Anubis - Distributed LMS for automating Computing Science Courses From NYU
openvscode-server - Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.
lite - A lightweight text editor written in Lua
Visual Studio Code - Visual Studio Code
react-saas-template - 🌊 Template for building an SaaS / admin website using React + Material-UI
arduino-cli - Arduino command line tool
excalidraw - Virtual whiteboard for sketching hand-drawn like diagrams
pylon - Pylon IDE, a Cloud9 v2 descendant with some added extras and support for modern node >= 14.21.1 (v15.x, v16.x, v17.x, v18.x, v19.x, v20.x). OSS licensed.