A safe, easy systems language

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

Myrddin Compiler

Lean 4 programming language and theorem prover

Noir is a domain specific language for zero knowledge proofs

The GameLisp scripting language

Next-level syntax for C-like languages :)

Systems language with linear types and capability-based security.

Extending C with cmacro

The Lobster Programming Language

The Jakt Programming Language

A statically typed language compatible with Python

compiles scheme-like s-expressions to c

Light-weight ClojureScript dialect

vonuvoli Scheme -- an R7RS interpreter written in Rust focused on systems programming and scripting (i.e. processes, file-system, etc.) with performance and safety in mind

A fast, friendly, functional language.

A static, type inferred and embeddable language written in Rust.