Audio server, programming language, and IDE for sound synthesis
Agda is a dependently typed programming language
The IDE for competitive programming
Interactive JavaScript and TypeScript programming with Jupyter
Rakudo – Raku on MoarVM, JVM, and JS
Jupyter's kernel for Elixir programming language
Carbon Language's main repository
In-browser code editor (version 5, legacy)
Simple CLI Tool that translates your code in ANY programming language
Open source STM32 MCU programming toolset
A dialect of Lisp that's embedded in Python
Generic programming for Scala
Repository for the book "Crafting Interpreters"
Web Application Framework written in Ruby
Small python-gtk application, to merge or split PDFs
The Scala 3 compiler, also known as Dotty
Delve is a debugger for the Go programming language
An incremental parsing system for programming tools
Starlark in Go: the Starlark configuration language, implemented in Go
Scala based HDL
Fast, small, safe, gradually typed embeddable scripting language
Software Facil, Vida Facil
Functional reactive programming extensions library for Julia
A Rust compiler front-end for IDEs
A python parametric CAD scripting framework based on OCCT