zerosharp github.com ↗

A lean Python implementation for microcontrollers.

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

A lightweight Erlang/Elixir virtual machine for microcontrollers.

A functional language on the Erlang VM.

A statically typed compiled language with metaprogramming features.

A portable API for shared-memory and offloaded parallel programming in C, C++ and Fortran.

A programming language project from a former Eve developer.

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

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

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

A programming language designed for safety-critical systems, with the SPARK subset supporting formal proofs.

A functional language on the Erlang VM.

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

Bend is a high-level massively parallel programming language.

A functional-first programming language on .NET.

A statically typed functional programming language with a garbage collector.

A systems programming language with explicit allocator passing.

A compiled, statically typed language with Ruby-inspired syntax.

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

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