Rhai - An embedded scripting language for Rust.

A friendly programming language from the future

LiveScript is a language which compiles to JavaScript. It has a straightforward mapping to JavaScript and allows you to write expressive code devoid of repetitive boilerplate. While LiveScript adds…

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

Moved to Codeberg

A language for time-series analysis

Productive, portable, and performant GPU programming in Python.

Koka language compiler and interpreter

CakeML: A Verified Implementation of ML

The MaPLe compiler: efficient and scalable parallel functional programming

A dynamic language and bytecode vm

The Flix Programming Language

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

A functional programming language based on algebraic effect handlers

Tau Meta-Language

a low fidelity scripting language for project infrastructure

A Proof-oriented Programming Language

Exocompilation for productive programming of hardware accelerators

Systems language with linear types and capability-based security.

a language for fast, portable data-parallel computation

An R7RS Scheme implemented in WebAssembly

A document language for the browser

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Language development libraries for Rust

An implementation of differential dataflow using timely dataflow on Rust.

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

A modern general-purpose programming language focused on enterprise Web, IoT, and secure application development.

A safe, easy systems language

The parallel, concurrent, and functional programming language for scalable software development

Umka: a statically typed embeddable scripting language