A website for the #proglangdesign community on freenode
People and Projects
An incomplete list of nicknames on #proglangdesign and their labours
of love. Some are definitely missing - just make a pull request
Github repository with the changes you want to see.
Entries are in alphabetically ascending order by username. Please keep them in order.
Acorn2's passion is the 3D web and his
and the web is powered by languages.
language powers the 3D web.
Cone is statically-typed, and
uses LLVM to generate native efficient executables.
Cone will also be a test bed for implementing gradual memory
His previous work,
is a dynamic language with some of the same features.
The Rebuild Language Project aims to
research and hopefully build the ultimate system programming language.
It's a collection of ideas and experiments to bring better concepts into programming languages.
Watch an introduction talk on Youtube
The project uses a modern C++17 based experimental compiler to conduct experiments.
I develop these experiments during live streams on Twitch.
- Futhark, a
high-performance parallel functional array language targeting GPUs.
By day Boney works for Mozilla on the garbage collector in
But by night, he works on
a new language that aims to strike a balance between functional and
imperative programming, and include state-of-the-art concurrent
programming features and feature
Boney previously worked on
Mercury a logic language.
- Lever, a
dynamically typed language built to absorb features from other
is a minimum-viable type-safe imperative language designed to serve as a
platform for exploring mutation and general side-effect control.
Dyvil is a multi-paradigm, general purpose programming language that is based on Java and the JVM. It is a compiled, statically and strongly typed language that supports object-oriented, functional and imperative programming styles. The language features many high-level constructs as well as an extensible and expressive syntax, making it highly useful for both rapid and safe prototyping, and the creation of domain-specific languages.
is a stack-oriented functional logic programming language with OOP, recursive regex,
dependent types, refinement types, and automatic parallelization based on transactions.
- Monte is a dynamic programming language inspired by Python and E.
Juniper is a functional
reactive programming language for the Arduino and other related
- Kitten is a statically typed concatenative language with effect types.
- Gwion is a strongly-timed musical programming language .
applies concatenative programming to types as well as values, striving for purity and correctness, and efficient execution.
- ubik is a safe functional programming language for distributed and embedded programming on streams with an unorthodox syntax.
- Pyash is a language based on linguistic universals for totally taking over the world.
NGS - Next Generation Shell,
a language (and a shell in the future) for ops tasks.
NGS aims to be an alternative for both bash/Python/Ruby/Perl/Go and configuration management tools.
It has syntax for the common operations and libraries (currently only AWS) for idempotent resources manipulation.
NGS unique features include built in exit code handling and syntax for run-a-command-and-parse-output.
Cuneiform is a large-scale data analysis functional programming language. It is open because it easily integrates foreign tools and libraries, e.g., Python libraries or command line tools. It is general because it has the expressive power of a functional programming language while automatically parallelizing and distributing program execution. Cuneiform uses distributed Erlang to scalably run in cluster and cloud environments.
Oopsilon is an object-oriented language in the
Kayian tradition which is (perhaps uniquely) founded on a negativist philosophy drawing on
critical theory and stressing the importance of hermeneutics in understanding the problems
Psyche-c is a compiler for incomplete C code. It features a Hindley/Milner-inspired type inference engine for C.
Objected oriented language aiming for high type-safety and readability.
is a simple functional programming language. Technically it may be classified as syntactically scoped, strongly typed, call by value, functional programming language. In practise Never offers basic data types, assignment, control flow, arrays, first order functions, exceptions and some mathematical functions to make it useful to calculate expressions.
is a systems programming language. Myrddin emphasizes control, simplicity, a clear mental model and predictable, transparent behavior.
It features strong type checking, generics, type inference, closures, and traits. It aims to fit a similar niche as C, but with fewer bullets in your feet.
- Ad-hoc is an experimental programming language currently supporting the following features: first-class functions, immutability, lambda terms, recursion, closures, strict and non-strict evaluation, lexical and dynamic scopes, and deep binding.
- Juicy is a low-level, compiled, purely functional, highly generic language with inferred types and tail recursion.
A self-hosted and bootstrappable scheme compiler (to qcode) and virtual machine.
A self-hosted peg parser generator.
is a compiled systems language focusing on providing extreme extensibility through the
use of a compile-time API. Using such an API, compiler extensions can be created within
the program itself, allowing for the addition of a garbage collector, ownership system,
type system changes, etc.
Is a statically typed multi-paradigm language design for education
in Computer Science. Syntax is inspired from Ada, Python and OCaml.
For compilers we use Rust, Julia, Golang, C++ and Python.
is an ever-evolving experiment in declarativeness that strives to one day settle on a consistent
An interpreter for eager untyped combinator rewriting implemented in C++.
A lisp which compiles to Lua
overhead. Not my own project originally, but I have
revived interest in the codebase and contributed significant
new compiler features.
Adamant is a high-level object-oriented language using
a Rust style borrow checker for memory management (no GC). It supports asynchronous programming,
compile-time code execution, memory safety, and thread safety. Adamant compiles to native code
or web assembly.
- Pineapple is a programming language that focus on readability and maintainability.
an experimental programming environment.
Inko is a gradually
typed, interpreted, object-oriented programming language drawing
inspiration from languages such as Smalltalk, Self, Ruby, Erlang and
attempts to make concatenative programming less mind-bendy
via pervasive use of locals, closures, the smallest set of syntax hacks to make code look nice.
How do I join the IRC channel?
Install one of the (many!)
available IRC clients
Use riot.im (recommended by HackerFoo, join #freenode_#proglangdesign:matrix.org)
Join the #proglangdesign channel
with Freenode's web-based client.
You may also
wish to peruse this excerpt
from a documentary on IRC.
Joining the GitHub organization
If you are a regular on #proglangdesign, ask hackerfoo for an invitation.
We have a wiki!
Only members of the GitHub organization can edit the wiki.
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.
- Speaks Egel.
Simply say egelbot: some egel code and
the code will be executed, and the result written to the
- Speaks Futhark.
Simply say sturluson: some futhark code
and the code will be compiled and run, and the result
written to the channel.