Spinel github.com ↗

Rust Languages & runtimes

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

TruffleRuby Languages & runtimes

A high-performance Ruby implementation built on GraalVM.

March ↗Languages & runtimes

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

TinyGo ↗Languages & runtimes

A Go compiler aimed at microcontrollers and WebAssembly.

SixtyPical ↗Languages & runtimes

A 6502 assembly-like language with an effect system and flow typing.

symbolasm ↗Languages & runtimes

A modern assembler syntax with C-like types and named variables mapping nearly 1:1 to instructions.

Catala Languages & runtimes

A programming language for translating legal statutes into executable code.

Fil-C Languages & runtimes

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.

Catala

A programming language for translating legal statutes into executable code.

Coalton

A statically typed functional language embedded in Common Lisp.

Djot ↗

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

Elixir

A functional language on the Erlang VM.

F#

A functional-first programming language on .NET.

F*

A proof-oriented functional programming language with dependent types.

Fil-C

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

Futhark ↗

A purely functional, data-parallel array language that compiles to GPU and CPU code.