proglangdesign.net

Programming Language Design

Take a look at our projects

Alox

GitHub phase

A systems language with a more advanced type system.

Ante

GitHub rndmprsn

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

C3

Discord GitHub Christoffer Lernö

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

Cone

GitHub jondgoodwin

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

Dyvil

GitHub Clashsoft

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

Egel

GitHub spruit11

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

Ethereal

GitHub Electrux

A general purpose, small, procedural, interpreted programming language, written in C++, with an easy to use syntax.

Fennel

Freenode GitHub technomancy

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

Futhark

GitHub Athas

A high-performance parallel functional array language targeting GPUs.

Inko

GitLab yorickpeterse

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

Jazz

GitHub Adel Prokurov

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

Jinx

GitHub James Boer

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

Kitten

Freenode GitHub evincar

A statically typed concatenative language with effect types.

Lesma

GitHub Hassan Alin Ali

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

Mercury

GitHub many, including Paul Bone

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

Monte

Freenode GitHub The Monte authors

A dynamic programming language inspired by Python and E.

Mu

GitHub akkartik

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

Mushroom

GitLab Benjamin Duchild

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

Myraddin

GitHub Ori_B

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

Never

GitHub Never

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

NGS

GitHub ilyash

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

Orange

GitHub orange

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

Owen

GitHub pawwkm

A language close to C with modern touches.

Plasma

GitHub Paul Bone

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

Pikelet

Gitter GitHub 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

GitHub HackerFoo

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

Psyche-c

GitHub ltcmelo

A compiler for incomplete C code featuring a Hindley/Milner-inspired type inference engine for C.

Pyash

GitLab hlok

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

Rebuild

GitHub arBmind

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

Rhovas

GitHub Blake Anderson

An experimental programming language for API design.

TopShell

GitHub Ahnfelt

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

Truck

GitHub Tarptaeya

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

Wu

Discord GitHub nilq

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

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

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. GitHub organization membership is necessary to edit the wiki, or modify this website without needing to make a pull request.