Agda is a dependently typed programming language
A Rust compiler front-end for IDEs
Status, process, and documents for ECMA-262
The Perl programming language
A Moonscript dialect compiles to Lua
Fast, small, safe, gradually typed embeddable scripting language
The core OCaml system: compilers, runtime system, base libraries
A package to build progressive web apps with Go programming
The web-based visual programming editor
A parser combinator library for Zig
The Flix Programming Language
Development repository for the Triton language and compiler
Python library to compile, build & package AWS Lambda functions
Build massively scalable soft real-time systems
A programming language that understands what a web app is
Objeck is a modern object-oriented programming language
A purely functional programming language with first class types
A static, type inferred and embeddable language written in Rust
Cheatsheet for the JavaScript knowledge
ArkScript is a small, fast, functional and scripting language for C++
A language that compiles to Lua
Expert System Tool
LuaRocks is the package manager for the Lua programming language
Delve is a debugger for the Go programming language