proglangdesign.net

Programming Language Design

Take a look at our projects

Alox

 GitHub phase

GPU-Accelerated, Distributed, Actor Model Language

AEC

 GitHub Teo Samarzija

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

Ante

 GitHub rndmprsn

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

Calypso

 Discord GitHub Calypso Contributors, including James (ThePuzzlemaker)

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

C3

 Discord GitHub Christoffer Lernö

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

Chaos

 Gitter Freenode GitHub mertyildiran

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

CASC

 Discord GitHub ChAoS-UnItY (Kyle Lin)

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

Chika

 Discord GitHub Patrick Bowen et al

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

ConCurr

 Freenode Cedrice Ermineii

A curried purely-functional lisp with extensible pattern matching.

Cone

 GitHub jondgoodwin

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

Curly

 GitHub jenra

A lazy functional programming language that focuses on iterators.

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

Fennel

 Freenode GitHub technomancy

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

ForthScript

 GitHub notIurii, and ugruk

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

Futhark

 GitHub Athas

A high-performance parallel functional array language targeting GPUs.

Gwion

 GitHub Gwion, including fennecdjay

A strongly-timed musical programming language

Horse64

 GitHub ell1e

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

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 Alin Ali Hassan

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

Lobster

 GitHub Wouter van Oortmerssen

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

MANOOL

 GitHub rusini

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

Mercury

 GitHub many, including Paul Bone

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

Mlatu

 GitHub Caden Haustein

Statically-typed, purely-functional, concatenative

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.

Myrddin

 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.

Oopsilon

 GitHub JX7P

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

Owen

 GitHub pawwkm

A language close to C with modern touches.

oXyl

 GitLab 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

 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.

Pointless

 GitHub Avery Nortonsmith

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

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.

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.

RicScript

 GitHub Ricardicus

A dynamically typed interpreted scripting language.

Riff

 GitHub Darryl Abbate

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

Saltwater

 Discord GitHub jyn514

A C compiler written in Rust.

Sixten

 GitHub Olle Fredriksson

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

Sugi

 GitHub CubeGuy21

A sequential, minimalistic, and memory safe programming language.

Star

 GitHub theangryepicbanana

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

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.

Vox

 Discord GitHub Andrey Penechko

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

WLambda

 GitHub Weird Constructor

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

Wu

 Discord GitHub nilq

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

#proglangdesign on irc.libera.chat

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.