A functional, systems programming language with linear types
Tools like web browser, computer access and code runner for LLMs
A friendly programming language from the future
The programming language for agents
Status, process, and documents for ECMA-262
Programming eXperience Toolkit
The Smart Contract Programming Language
Intel SPMD Program Compiler
Odin Programming Language
The Racket repository
TT-NN operator library, and TT-Metalium low level kernel programming
A Rust compiler front-end for IDEs
A programming language that understands what a web app is
A Moonscript dialect compiles to Lua
A refreshing programming language for the front-end web
The Perl programming language
Open-source model for program synthesis
The web-based visual programming editor
Development repository for the Triton language and compiler
Set of Python modules designed for writing video games
Bootstrapping LISP in a Boot Sector
Python library to compile, build & package AWS Lambda functions
A programming language and an implementation of that language
Agda is a dependently typed programming language