A website for the #proglangdesign community on freenode

Fork me on GitHub

People and Projects

An incomplete list of nicknames on #proglangdesign and their labours of love. Some are definitely missing - just make a pull request to the 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 logic language.
Lever, a dynamically typed language built to absorb features from other languages.
Icarus 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.
Starpial 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 platforms.
Kitten is a statically typed concatenative language with effect types.
Popr 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 programmers experience.
Psyche-c is a compiler for incomplete C code. It features a Hindley/Milner-inspired type inference engine for C.
Elegance Objected oriented language aiming for high type-safety and readability.
Fox is an ever-evolving experiment in declarativeness that strives to one day settle on a consistent syntax.
Myrddin 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.
Tarot A self-hosted scheme compiler (to qcode) and virtual machine.
Egel 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 Rust.
PISC 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.

How do I join the IRC channel?

You may also wish to peruse this excerpt from a documentary on IRC.

Handy Links