⚠️ Processing moved to processing/processing4 ⚠️
Repository Index
87,075 visible repositories in the index
1–7 of 7 · Most stars
An IDE for building Android applicatons on Android.
- android
- android-ide
- java
- kotlin
px0 is a review workbench and speed-first IDE built for AI-generated code. It turns your browser into a zero-latency console with native Git and GitHub integrations, instant search across massive codebases, in-place quick fixes, and seamless handoff to local AI coding harnesses.
- code-viewer
- developer-tools
- go
- ide
A recreation of the classic Visual Basic 6 IDE and language in C# with Avalonia
- avalonia
- avalonia-ui
- avaloniaui
- csharp
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
v1.2 - UI tool for manage Espressif ESP32 microcontrollers with embedded MicroPython for MacOS, Windows and Linux: mini IDE, files manager, REPL, real time dashboards (sys/net), advanced features (gpio/mp3/leds/...)
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic