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.
Athas
Futhark, a high-performance parallel functional array language targeting GPUs.
Boney
Plasma, which aims to strike a balance between functional and imperative programming. Previously worked on Mercury a logic language.
Cheery
Lever, a dynamically typed language built to absorb features from other languages.
cjh`
Icarus is a minimum-viable type-safe imperative language designed to serve as a platform for exploring mutation and general side-effect control.
Clashsoft
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.
ColonelJ
Starpial is a stack-oriented functional logic programming language with OOP, recursive regex, dependent types, refinement types, and automatic parallelization based on transactions.
dash
Monte is a dynamic programming language inspired by Python and E.
Dynasty
Juniper is a functional reactive programming language for the Arduino and other related platforms.
evincar
Kitten is a statically typed concatenative language with effect types.
HackerFoo
Popr applies concatenative programming to types as well as values, striving for purity and correctness, and efficient execution.
JX7P
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.
ltcmelo
Psyche-c is a compiler for incomplete C code. It features a Hindley/Milner-inspired type inference engine for C.
nathanmerrill
Elegance Objected oriented language aiming for high type-safety and readability.
neechoo
Fox is an ever-evolving experiment in declarativeness that strives to one day settle on a consistent syntax.
Ori_B
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.
rain1
Tarot A self-hosted scheme compiler (to qcode) and virtual machine.
spruit11
Egel An interpreter for eager untyped combinator rewriting implemented in C++.
Veggero
Nylo: any task in one line of code
yorickpeterse
Inko is a gradually typed, interpreted, object-oriented programming language drawing inspiration from languages such as Smalltalk, Self, Ruby, Erlang and Rust.
yumaikas
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