Programming Language Design

Take a look at our projects

Adamant

WalkerCodeRanger

A high-level object-oriented language using a Rust style borrow checker for memory management (no GC).

Alox

phase

A systems language with a more advanced type system.

Ante

rndmprsn

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

Astro

appcypher

A fun safe language for rapid prototyping and high performance applications

Atto

Joshua Barretto

A functional programming language that fits on the back of a postcard.

Bee

sagecode

A pragmatic, readable and efficient programming language for technical applications.

Cone

jondgoodwin

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

Cuneiform

joergen7

A large-scale data analysis functional programming language which is general, expressive, distributed, and scalable.

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++.

Electric Parens

xkapastel

A Lisp machine for desktop, web and mobile.

Elegance

nathanmerrill

An objected oriented language aiming for high type-safety and readability.

Fennel

technomancy

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

Fox

Pierre-vh

A statically typed scripting language designed for simplicity and embeddability.

Fukuro

swordglowsblue

A statically-typed programming language designed for simplicity, minimalism, and ease of use.

Futhark

Athas

A high-performance parallel functional array language targeting GPUs.

Icarus

cjh`

A minimum-viable type-safe imperative language for exploring mutation and general side-effect control.

Inko

yorickpeterse

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

Huia

James Harton

Huia is an immutable, typed, object oriented programming language targetting native and web execution.

Jazz

Adel Prokurov

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

Jinx

James Boer

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

Juniper

Dynasty

A functional reactive programming language for the Arduino and other related platforms.

Keli

wongjiahau

Keli is a purely functional programming language based on Haskell and Smalltalk, focusing on IDE integration.

Kitten

evincar

A statically typed concatenative language with effect types.

Language 84

ericbb

A hobby language with a self-hosting compiler. It is similar in style to Scheme, Standard ML, and Erlang.

Lazer

Protty

A programming language focused on concurrency and low memory usage.

Lesma

Hassan Alin Ali

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

Lever

Cheery

A dynamically typed language built to absorb features from other languages.

Lorxu

slavfox

An ever-evolving experiment in declarativeness that strives to one day settle on a consistent syntax.

Lunar

Apakovtac

Lunar is a superset programming language of Lua 5.1, inspired by TypeScript and Ruby.

Mercury

Many including Paul Bone.

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

Monte

dash

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.

Nuua

Erik Campobadal

A high level, static, interpreted language using a layered system architecture.

Orange

orange

An assembly and low level language for a custom virtual machine designed like a 1980s computer.

Owen

pawwkm

A language close to C with modern touches.

Petal

Neia

A speedy applications language with metaprogramming.

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.

Pineapple

wongjiahau

A programming language that focuses on readability and maintainability.

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, featuring a Hindley/Milner-inspired type inference engine for C.

Pyash

htafdwes

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

Rebuild

arBmind

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

Redox

user

A functional language with lifetimes and uniqueness types for efficiency and gc-less memory safety.

Rhovas

Blake Anderson

An experimental programming language for API design.

Starpial

ColonelJ

A stack-oriented functional logic language with OOP, dependent and refinement types, and automatic parallelization.

Swizzle

SafelySwift

A compiled, object-oriented, and statically typed language for graphics rendering that is fast and versatile.

TopShell

Ahnfelt

Purely functional Bash alternative with structural types, type inference, reactive streams and visualization.

Truck

Tarptaeya

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

ubik

haldean

A safe functional language for distributed and embedded stream programming, with an unorthodox syntax.

Wu

nilq

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

Zoda

Andre Popovitch

A language designed from the ground up for game development.

#proglangdesign

Joining the IRC channel

There are many ways to connect to IRC. You can:

You may also wish to peruse this excerpt from a documentary on IRC.

If you are unwilling to use Discord on account of it being proprietary, you may prefer to use our Matrix bridge to access it. Join `#info:matrix.qipl.org` with a Matrix client such as riot.im, and all of the Discord server's channels will be accessible from there.

IRC Bots

No channel is complete without a collection of noisy bots. They are also a good way to show off your programming language. The following bots can be found on #proglangdesign. Please do not abuse them; it is not their fault.

To try out a bot, simply say `botname: some <lang> code`.

Resources

PLD Wiki

We have a wiki! Only members of the GitHub organization can edit the wiki.

Joining the GitHub organization

If you are a regular on #proglangdesign, ask hackerfoo for an invitation to the GitHub organization, which is necessary to edit the wiki, or modify this website without needing to make a pull request.