Cuis Smalltalk cuis.st ↗

SmallJS ↗Languages & runtimes

A file-based Smalltalk that compiles to JavaScript and works in VSCode.

Niva ↗Languages & runtimes

A Smalltalk-like programming language with static types.

OCaml Languages & runtimes

A statically typed functional programming language with a garbage collector.

March ↗Languages & runtimes

A new programming language with Claude skills for search, debugging and language rules.

Catala Languages & runtimes

A programming language for translating legal statutes into executable code.

Perl Languages & runtimes

A general-purpose scripting language long used for CGI web interfaces.

Elixir Languages & runtimes

A functional language on the Erlang VM.

Spinel ↗Languages & runtimes

Matz's ahead-of-time compiler for a statically typed Ruby subset using RBS.

F#

A functional-first programming language on .NET.

Fil-C ↗

A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.

Inform 7 ↗

A natural-language-style programming language for writing text adventures.

Lean ↗

An interactive theorem prover and programming language used to formalize mathematical proofs.

Lobster ↗

A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.

Rust

A systems programming language with compile-time memory safety guarantees.

AtomVM

A lightweight Erlang/Elixir virtual machine for microcontrollers.

Catala

A programming language for translating legal statutes into executable code.

CinderX ↗

Meta's performance extension for CPython including a JIT and Static Python.

Coalton

A statically typed functional language embedded in Common Lisp.

Cython

A compiler that turns Python-like code into C extensions.

Djot ↗

A light markup syntax by John MacFarlane derived from CommonMark with simpler parsing.