Free Pascal freepascal.org ↗

ISPC ↗Languages & runtimes

Intel's SPMD program compiler for writing vectorized code across CPU SIMD targets.

Tiny C Compiler Languages & runtimes

A small, very fast C compiler originally written by Fabrice Bellard.

Catala ↗Languages & runtimes

A programming language for translating legal statutes into executable code.

rcc ↗Languages & runtimes

A C compiler by rurban that implements perfect hashing for large sparse switch statements.

PyPy ↗Languages & runtimes

An alternative Python implementation with a tracing JIT compiler.

Bend ↗Languages & runtimes

Bend is a high-level massively parallel programming language.

Futhark ↗Languages & runtimes

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

GraalPy ↗Languages & runtimes

A Python 3 implementation on the JVM/GraalVM with a JIT compiler and interop with other languages.

Lean ↗

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

Fil-C ↗

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

Ada ↗

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

Elixir

A functional language on the Erlang VM.

Rust

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

Bend ↗

Bend is a high-level massively parallel programming language.

F# ↗

A functional-first programming language on .NET.

OCaml ↗

A statically typed functional programming language with a garbage collector.

Zig ↗

A systems programming language with explicit allocator passing.

Crystal ↗

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

Inform 7 ↗

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

Lobster ↗

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