proglangdesign.net

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

Ante

rndmprsn

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

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.

Denshi

xkapastel

An experimental programming environment.

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

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.

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.

Jazz

playX

A statically typed ML-like language for scripting.

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.

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.

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.

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.

peg

rain1

A self-hosted peg parser generator.

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.

Sand

LokkoAndreas

A language by a member of the Discord server.

Sherwood

swordglowsblue

A simple and sensible bytecode VM, because sometimes you can't see Sherwood Forest for the trees.

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.

ubik

haldean

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

Rebuild

arBmind

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

Tarot

rain1

A self-hosted and bootstrappable scheme compiler (to qcode) and virtual machine.

Wee

sagecode

A statically typed, compiled programming language for system applications.

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