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.
- 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
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.
A self-hosted scheme compiler (to qcode) and virtual machine.
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
attemps to make concatenative programming less mind-bendy
via pervasive use of locals, closures, the smallest set of syntax hacks to make code look nice.