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

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

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

A relatively simple programming language that could one day compile to JavaScript

Examples in various programming languages about how structural typing is supported

Header-only C++26 library for structural interfaces and type erasure: use ordinary structs for compile-time constraints and runtime polymorphism, without macros or base classes.

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

Manage AI workspace permissions on macOS. Control file access for Claude and Codex through a local, versioned runtime.

Rust protocol for zero-configuration service discovery and runtime capability negotiation, allowing independent systems to compose through type-checked structural fit.

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

The Mamba programming language

A general-purpose interpreted programming language implemented in Rust.

Archived: no longer maintained. Standard Entity Protocol - Cross-library type-safe entity operations