Programming Language Design

Alox

phase

GPU-Accelerated, Distributed, Actor Model Language

Ante

rndmprsn

A compiled systems language focusing on providing extensibility through the use of a compile-time API.

Bee

Marco Lima

A modern object-oriented scalable scripting language with built-in transpiling tools.

C3

Christoffer Lernö

An evolution of C, adding modules, error handling and semantic macros.

Chika

Patrick Bowen et al

S-expression programming language, with VM targeting both PC and Arduino.

Cone

jondgoodwin

A fast, fit, friendly, and safe systems programming language to power the 3D web.

Dyvil

Clashsoft

A multi-paradigm, general purpose language for the JVM, with an extensible syntax.

Egel

spruit11

An interpreter for eager untyped combinator rewriting implemented in C++.

Fennel

technomancy

A lisp which compiles to Lua with zero overhead, revived by technomancy.

Futhark

Athas

A high-performance parallel functional array language targeting GPUs.

Inko

yorickpeterse

A gradually typed, interpreted, object-oriented language drawing inspiration from many others.

Jazz

Adel Prokurov

A systems programming language with a JIT and AOT compiler that uses GCCJIT as backend.

Jinx

James Boer

A clean, embeddable scripting language designed with an asynchronous and thread-safe execution model.

Kitten

evincar

A statically typed concatenative language with effect types.

Lesma

Hassan Alin Ali

Lesma is a compiled, gradually typed, imperative and object oriented programming language.

Lobster

Wouter van Oortmerssen

Flow-senstitive type inference, specialization, compile-time reference counting, and Python-y syntax.

MANOOL

rusini

Practical programming language with expressive power, in 10 KLOC in C++11 - "MAnool is Not an Object-Oriented Language!"

Mercury

many, including Paul Bone

A logic/functional programming language with advanced static analysis and error detection features.

Monte

The Monte authors

A dynamic programming language inspired by Python and E.

Mu

akkartik

A purely statement-oriented language (like Basic) designed for teaching programming 1-on-1.

Mushroom

Benjamin Duchild

An experimental functional programming language with an emphasis on type inference and aesthetic syntax.

Myrddin

Ori_B

A systems language aiming to fit in a similar niche to C, but with fewer bullets in your feet.

Never

Never

A simple syntactically-scoped, strongly-typed, call-by-value, functional language.

NGS

ilyash

Next Generation Shell, an alternative to many scripting languages, with syntax for idempotent resource manipulation.

Oopsilon

JX7P

Dynamic object language modelled after Smalltalk, with a gradual typing system affording expressiveness rivalling ML or Haskell.

Owen

pawwkm

A language close to C with modern touches.

Oxyl

J Rain De Jager

A functional language designed to work on parallel CPU and GPGPU using a functional paradigm and context system to contain side effects.

Plasma

Paul Bone

A language that balances functional and imperative programming, and has state-of-the-art concurrency and parallelism features.

Pikelet

brendanzab

A friendly little systems language with first-class types and unboxed data.

PISC

yumaikas

An attempt to make concatenative programming less mind-bendy via locals, closures, and syntactic sugar.

Popr

HackerFoo

Concatenative programming for types as well as values, striving for purity, correctness, and efficient execution.

Psyche-c

ltcmelo

A compiler for incomplete C code

Pyash

hlok

A language based on linguistic universals for totally taking over the world.

rcc

jyn514

A Rust C Compiler

Rebuild

arBmind

A project to experiment with and build the ultimate systems programming language.

Rhovas

Blake Anderson

An experimental programming language for API design.

Sixten

Olle Fredriksson

A dependently typed language where all data is unboxed by default. Functional programming with fewer indirections!

TopShell

Ahnfelt

Purely functional scripting language with structural types, type inference, reactive streams and visualization.

Truck

Tarptaeya

Truck is a dynamic programming language with a focus on simplicity.

Wu

nilq

An expression oriented, gradually typed, sweet, and mission-critical programming language.