proglangdesign.net

Programming Language Design

Take a look at our projects

Aardvark

Discord GitHub The Aardvark Team

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.

AEC

GitHub Teo Samarzija

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

Alox

GitHub phase

GPU-Accelerated, Distributed, Actor Model Language

Amp

GitHub Zack Pace

A minimalistic systems language for modern software

Amun

GitHub Amr Hesham

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

Ante

GitHub rndmprsn

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

Argon

GitHub jacopodl

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.

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.

Cella

Discord GitHub Collin Wheeler (Anixias)

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

C3

Discord GitHub Christoffer Lernö

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

Chaos

Gitter Libera.Chat 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

GitHub Patrick Bowen et al

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

Closey

GitHub jenra

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

Cognate

GitHub StavromulaBeta

A highly readable quasi-concatenative dynamic language.

Cone

GitHub jondgoodwin

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

Core

GitHub Core contributors

a modern, minimal programming language

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

Libera.Chat GitHub technomancy

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

Firefly

Discord GitHub ahnfelt, and werk

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

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!

FuncSug

GitHub Claude Lion

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

GitHub Athas

A high-performance parallel functional array language targeting GPUs.

Gera

Discord TypeSafeSchwalbe

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

Gwion

GitHub Gwion, including fennecdjay

A strongly-timed musical programming language

Hascal

GitHub Hascal Foundation

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

H-hat

many, including Dooms

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

Hook

Discord GitHub fabiosvm

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

Horse64

Git ell1e and contributors

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

ilo Token

GitHub jan Koko (neverRare)

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.

Imp

GitHub mh15

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

Inko

GitLab yorickpeterse

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

Insitux

Discord GitHub Patrick Bowen

Extensible s-expression scripting language written in portable TypeScript.

jank

GitHub Jeaye Wilkerson

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

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

GitHub evincar

A statically typed concatenative language with effect types.

Peridot

GitHub Eashan Hatti

A fast functional language based on two level type theory

Lesma

GitHub Alin Ali Hassan

A fast compiled, statically typed, pythonesque 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

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.

Nib

Cedrice Ermineii

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

Okta

GitHub mikelma

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

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.

Ry

Discord GitHub Adi Salimgereyev

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

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!

Snowball

Discord GitHub Mauro Balades

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

Sophie

GitHub Beth Kjos

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

Sphere

GitHub Nullify

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

Star

GitHub theangryepicbanana

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

Swallow

GitHub Saptak Bhoumik

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

Tahini

GitHub Anirudh Mishra (anirudhgray)

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

Theta

Discord GitHub Alex Dovzhanyn

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

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.

Valkyrie

Discord GitHub Aster

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

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.

Ü

GitHub Panzerschrek

A statically-typed C++/Rust-like compiled language. Main goals are safety and speed.

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