Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

A simple little programming language that could one day compile to JavaScript.

A general-purpose interpreted programming language implemented in Rust.

A programming language that's wise beyond its bytes!🌱🌿🪴

A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems

Statically-checked duck typing (structural typing) for Sorbet. Quack!

Junu Spaghetti, a language that types spaghetti code

A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.

Examples in various programming languages about how structural typing is supported

The Mamba programming language