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.
is a dynamic, object-oriented programming language designed to make it
easier to specify rich, modular, procedural content. It is inspired by
lightweight nature. The Acorn VM is the engine that powers Pegasus3D,
a browser for exploring Internet-delivered three-dimensional worlds.
- Futhark, a
high-performance parallel functional array language targeting GPUs.
- Plasma, which aims to
strike a balance between functional and imperative programming.
Previously worked on Mercury a
- Lever, a
dynamically typed language built to absorb features from other
- Dyvil, a JVM language that builts upon and
extends Java with a focus on expressibility and syntactic freedom.
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.
applies concatenative programming to types as well as values, striving for purity and correctness, and efficient execution.
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 an ever-evolving experiment in declarativeness that strives to one day settle on a consistent
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.
A self-hosted scheme compiler (to qcode) and virtual machine.
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.
An interpreter for eager untyped combinator rewriting implemented in C++.
- Nylo: any task in one line of code
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.
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.