Programming Language Design

Admiran

Admiran is a pure, lazy functional language and self-hosting compiler. It is based upon David Turner's Miranda language, with additional features from Haskell and other functional languages.

AEC

A low-level programming language with syntax inspired by BASIC and Ada. Right now, it can target x86 and WebAssembly.

Ante

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

Argon

Argon is an interpreted multi-paradigm programming language. Its syntax is influenced by many modern languages and aims to be elegant, clean and simple to use.

Aria

Modern, dynamic "sweet spot" scripting language inspired by Python and Rust, with a small but usable standard library.

C3

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

Cella

A strongly-typed minimalistic systems programming language with semantic side-effects and minimal runtime overhead

Cognate

A highly readable quasi-concatenative dynamic language.

Core

a modern, minimal programming language

Dyvil

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

Egel

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

Fennel

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

Fir

A high-level, batteries-included programming language with ADTs, traits, value types, monomorphisation, and effects.

Firefly

Full-stack language with colorless async/await and object capabilities.

FuncSug

An alternative to event-driven programming that resolves the callback hell and the state management problem thanks to very structured concurrency and await-event instructions.

Futhark

A high-performance parallel functional array language targeting GPUs.

Gera

A high-level, procedural, compiled and garbage collected programming language without type annotations.

Gwion

A strongly-timed musical programming language

H-hat

A quantum programming language aimed to build quantum algorithms through a higher abstraction layer.

Hascal

Hascal is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.

Hook

An imperative, cross-platform, dynamically typed scripting language that utilizes a mutable value semantics approach.

Horse64

Dynamically typed but orderly, reducing chaos in large projects. A grounded Python-alike.

Horse64 Root

A system language similar to C/C++, reimagined with a focus on easy syntax, understandable OOP, and some baked-in safety features.

ilo Token

A rule-based dictionary-based Toki Pona to English translator that translates into multiple English outputs showing many possible grammatical and semantic interpretation of the text. No machine learning involved.

Inko

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

Insitux

Extensible s-expression scripting language written in portable TypeScript.

jank

A Clojure dialect hosted on LLVM with seamless C++ interop.

Lobster

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

Lumina

Eagerly evaluated, natively compiled, impurely functional programming language aiming to provide a more friendly developer experience.

MANOOL

Programming language that combines high abstraction power with great control over asymptotic complexity and performance of your programs

Mercury

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

mini-rip

A minimal, esoteric, interpreted programming language with magical sigils that execute code.

Mlatu

Statically-typed, purely-functional, concatenative

Monte

A dynamic programming language inspired by Python and E.

Mu

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

Never

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

NGS

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

NumFu

Pure functional language built for readability, extensibility, and learning functional programming & mathematical algorithms.

oko-lang

A promising, interpreted, non-esoteric, scripting programming language that is in its early stage of development.

Oopsilon

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

Plasma

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

PISC

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

Pointless

A scripting language for learning and fun. Designed for teaching and exploring functional programming.

Psyche-c

A compiler for incomplete C code.

Pyash

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

Rhovas

An experimental programming language for API design.

RicScript

A dynamically typed interpreted scripting language.

Sophie

🦆 Call-by-need statically-duck-typed pure-functional language with actor-based concurrency, named for French mathematician Sophie Germain.

Sphere

Cross-architecture, freestanding and light-weight OOP Language made for OS and general software development with Direct Memory Manipulation

Star

An experimental programming language that's made to be powerful, productive, and predictable.

Tahini

A dynamic, interpreted and impurely functional programming language with testing and design-by-contract features.

TGlyph

T^ (TGlyph) is an esoteric, interpreted programming language that is based around "glyphs" and "registers" that can hold values.

Theta

A statically typed, functional programming language that compiles to WebAssembly.

TOSTER

T* (TOSTER) is an esoteric, interpreted programming language. Beware, includes lots of magic and unconventional syntax.

Vox

Statically typed compiled language inspired by D. Both JIT and AOT compilation. Can be used for scripting in D programs.

WLambda

An embeddable dynamic scripting language for Rust. Every value can be called and the syntax is a blend of Perl, Lua, JavaScript and LISP.

Aardvark

It is designed to be easy, yet powerful, compiling to LLVM and self-hosting. Our goal is for it to be faster than C and easier than Python.

Alox

GPU-Accelerated, Distributed, Actor Model Language

Amp

A minimalistic systems language for modern software

Amun

A low-level programming language with a simple and productive design inspired by C/C++, Rust, Go, Jai.

Calypso

Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.

CASC

A JVM language focus on concise syntaxes and enhancing language features from Java.

Chaos

Strongly typed, dynamic yet compilable, test-oriented procedural programming language that achieves zero cyclomatic complexity.

Chika

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

Closey

A functional language that aims to be as simple as possible but as efficient and user friendly as possible.

Cone

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

ForthScript

Simple yet powerful concatenative stack-based scripting lang with code-as-data paradigm. Aims to run on bare metal like FORTH!

Imp

A statically typed and compiled scripting language with the goal of increasing programmer confidence.

Jazz

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

Jinx

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

Kitten

A statically typed concatenative language with effect types.

Lesma

A fast compiled, statically typed, pythonesque programming language.

Mushroom

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

Myrddin

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

Nib

A semi-concatenative that extends array language features such as tacit programming and scalar extension.

Okta

Compiled, imperative and general-purpose programming language that aims to provide a simple platform to create efficient software.

Owen

A language close to C with modern touches.

oXyl

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

Peridot

A fast functional language based on two level type theory

Pikelet

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

Popr

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

Rebuild

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

Riff

A dynamically typed programming language designed primarily for prototyping and command-line usage.

Ry

An open source programming language for web development with expressive type system similar to Rust.

Saltwater

A C compiler written in Rust.

Sixten

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

Snowball

🐱 Snowball is a low-weight, statically typed, object oriented programming language with garbage collector and module system.

Swallow

An easy to use systems programming language with python-like syntax

TopShell

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

Truck

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

Valkyrie

Valkyrie is a multi-stage gradual typed language with first class continuation and effect system.

Wu

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