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.
Acorn2
Acorn2's passion is the 3D web and his Pegasus3D browser, and the web is powered by languages. His Cone 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 management. His previous work, Acorn is a dynamic language with some of the same features.
arBmind
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.
Athas
Futhark, a high-performance parallel functional array language targeting GPUs.
Boney
By day Boney works for Mozilla on the garbage collector in Firefox's JavaScript engine. But by night, he works on Plasma, 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 automatic parallelisation. Boney 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.
fennecdjay
Gwion is a strongly-timed musical programming language .
HackerFoo
Popr applies concatenative programming to types as well as values, striving for purity and correctness, and efficient execution.
haldean
ubik is a safe functional programming language for distributed and embedded programming on streams with an unorthodox syntax.
htafdwes
Pyash is a language based on linguistic universals for totally taking over the world.
ilyash
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.
joergen7
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.
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.
pera
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.
protist
Juicy is a low-level, compiled, purely functional, highly generic language with inferred types and tail recursion.
rain1
Tarot A self-hosted scheme compiler (to qcode) and virtual machine.
rndmprsn
Ante 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.
SageCode
Level 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.
spruit11
Egel An interpreter for eager untyped combinator rewriting implemented in C++.
technomancy
Fennel A lisp which compiles to Lua with zero overhead. Not my own project originally, but I have revived interest in the codebase and contributed significant new compiler features.
Veggero
Nylo: declarative language that blurs the line between input and output, focusing on relations between objects
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 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?

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

Handy Links

IRC bots

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.
egelbot
Speaks Egel. Simply say egelbot: some egel code and the code will be executed, and the result written to the channel.
sturluson
Speaks Futhark. Simply say sturluson: some futhark code and the code will be compiled and run, and the result written to the channel.
piscbot
Speaks PISC. Incantation: $pisc (a pisc expression) This will print the values that are left on the stack by the expression, joined by "|"s
pengbot
Speaks Fennel. Incantation: pengbot: eval some fennel code. Runs in a heavily sandboxed environment, so not all built-ins will be available.