A fast, portable, simple, and free C/C++ IDE
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, 5.4, LuaJIT and other Lua interpreters on Windows, macOS, and Linux
- lua
- ide
- syntax-highlighting
- zerobrane-studio
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment