GPU-Accelerated, Distributed, Actor Model Language
A compiled systems language focusing on providing extensibility through the use of a compile-time API.
A modern object-oriented scalable scripting language with built-in transpiling tools.
Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
An evolution of C, adding modules, error handling and semantic macros.
A purely functional programming language that achieves zero cyclomatic complexity.
S-expression programming language, with VM targeting both PC and Arduino.
A fast, fit, friendly, and safe systems programming language to power the 3D web.
A lazy functional programming language that focuses on iterators.
A multi-paradigm, general purpose language for the JVM, with an extensible syntax.
An interpreter for eager untyped combinator rewriting implemented in C++.
A lisp which compiles to Lua with zero overhead, revived by technomancy.
Simple yet powerful concatenative stack-based scripting lang with code-as-data paradigm. Aims to run on bare metal like FORTH!
A high-performance parallel functional array language targeting GPUs.
A strongly-timed musical programming language
Dynamically typed but orderly, reducing chaos in large projects. A grounded Python-alike.
A gradually typed, interpreted, object-oriented language drawing inspiration from many others.
A systems programming language with a JIT and AOT compiler that uses GCCJIT as backend.
A clean, embeddable scripting language designed with an asynchronous and thread-safe execution model.
A statically typed concatenative language with effect types.
Lesma is a compiled, gradually typed, imperative and object oriented programming language.
Flow-senstitive type inference, specialization, compile-time reference counting, and Python-y syntax.
Programming language that combines high abstraction power with great control over asymptotic complexity and performance of your programs
A logic/functional programming language with advanced static analysis and error detection features.
A dynamic programming language inspired by Python and E.
A purely statement-oriented language (like Basic) designed for teaching programming 1-on-1.
An experimental functional programming language with an emphasis on type inference and aesthetic syntax.
A systems language aiming to fit in a similar niche to C, but with fewer bullets in your feet.
A simple syntactically-scoped, strongly-typed, call-by-value, functional language.
Next Generation Shell, an alternative to many scripting languages, with syntax for idempotent resource manipulation.
Dynamic object language modelled after Smalltalk, with a gradual typing system affording expressiveness rivalling ML or Haskell.
A language close to C with modern touches.
A functional language designed to work on parallel CPU and GPGPU using a functional paradigm and context system to contain side effects.
A language that balances functional and imperative programming, and has state-of-the-art concurrency and parallelism features.
A friendly little systems language with first-class types and unboxed data.
An attempt to make concatenative programming less mind-bendy via locals, closures, and syntactic sugar.
A scripting language for learning and fun. Designed for teaching and exploring functional programming.
Concatenative programming for types as well as values, striving for purity, correctness, and efficient execution.
A compiler for incomplete C code
A language based on linguistic universals for totally taking over the world.
A project to experiment with and build the ultimate systems programming language.
An experimental programming language for API design.
A dynamically typed interpreted scripting language.
A C compiler written in Rust
A dependently typed language where all data is unboxed by default. Functional programming with fewer indirections!
A consistent language focused on power and productivity.
Purely functional scripting language with structural types, type inference, reactive streams and visualization.
Truck is a dynamic programming language with a focus on simplicity.
Statically typed compiled language inspired by D. Both JIT and AOT compilation. Can be used for scripting in D programs.
An embeddable dynamic scripting language for Rust. Every value can be called and the syntax is a blend of Perl, Lua, JavaScript and LISP.
An expression oriented, gradually typed, sweet, and mission-critical programming language.
There are many ways to connect to IRC. You can:
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.
To try out a bot, simply say
`botname: some <lang> code
`.
We have a wiki! Only members of the GitHub organization can edit the wiki.
If you are a regular on #proglangdesign, ask hackerfoo for an invitation to the GitHub organization. GitHub organization membership is necessary to edit the wiki, or modify this website without needing to make a pull request.