Found by comparing what the projects do, not just their names.
Language prototype
A language prototype with subtyping and type inference for teaching cubic biunification algorithms
Programming Language
An experimental programming language with the goal of providing a teachable, scalable, modern, and precise language with high-level capabilities.
Programming language
An experimental programming language designed to be powerful, productive, and predictable with features like type specialization and rich standard libraries.
Programming Language
A high-level programming language with a dynamic type system and support for various CPU architectures.
Language prototype builder
A tool for rapid language prototyping with a modular and concise type system based on higher-order logic programming.
Functional language
Developing a pragmatic functional programming language with a focus on tooling, simplicity, and incremental changes to enable stable growth and maintenance.
Functional language project
A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.
language assembler
Develops an assembler and compiler for a programming language
Programming language project
A programming language in development that aims to provide a safe, tiny, flexible, and fast compilation model
Functional programming language
A programming language and syntax for functional programs in R with type checking and pattern matching
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
Programming language
A programming language and its runtime environment with features such as dynamic typing, garbage collection, and support for various data structures.
Programmable Language
A general-purpose programming language with multi-functions, structs, traits, and a static type system for functional and imperative programming.
Meta-programming language
An implementation of a meta-programming language with features like type checking and code generation
Development Language
A high-performance, statically typed programming language designed to simplify development while maintaining speed.