A low-level programming language with syntax inspired by BASIC and Ada. Right now, it can target x86 and WebAssembly.
GPU-Accelerated, Distributed, Actor Model Language
A minimalistic systems language for modern software
A low-level programming language with a simple and productive design inspired by C/C++, Rust, Go, Jai.
A compiled systems language focusing on providing extensibility through the use of a compile-time API.
Argon is an interpreted multi-paradigm programming language. Its syntax is influenced by many modern languages and aims to be elegant, clean and simple to use.
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.
Strongly typed, dynamic yet compilable, test-oriented procedural programming language that achieves zero cyclomatic complexity.
A JVM language focus on concise syntaxes and enhancing language features from Java.
S-expression programming language, with VM targeting both PC and Arduino.
A functional language that aims to be as simple as possible but as efficient and user friendly as possible.
A highly readable quasi-concatenative dynamic language.
A fast, fit, friendly, and safe systems programming language to power the 3D web.
a modern, minimal programming language
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.
Full-stack language with colorless async/await and object capabilities.
Simple yet powerful concatenative stack-based scripting lang with code-as-data paradigm. Aims to run on bare metal like FORTH!
A scripting language with very structured concurrency for front-end web development.
A high-performance parallel functional array language targeting GPUs.
A strongly-timed musical programming language
Hascal is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.
A quantum programming language aimed to build quantum algorithms through a higher abstraction layer.
An imperative, cross-platform, dynamically typed scripting language that utilizes a mutable value semantics approach.
Dynamically typed but orderly, reducing chaos in large projects. A grounded Python-alike.
A statically typed and compiled scripting language with the goal of increasing programmer confidence.
A gradually typed, interpreted, object-oriented language drawing inspiration from many others.
Extensible s-expression scripting language written in portable TypeScript.
A Clojure dialect hosted on LLVM with native C++ interop.
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.
A fast functional language based on two level type theory
A fast compiled, statically typed, pythonesque 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.
Statically-typed, purely-functional, concatenative
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.
A semi-concatenative that extends array language features such as tacit programming and scalar extension.
Compiled, imperative and general-purpose programming language that aims to provide a simple platform to create efficient software.
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 dynamically typed programming language designed primarily for prototyping and command-line usage.
An open source programming language for web development with expressive type system similar to Rust.
A C compiler written in Rust.
A dependently typed language where all data is unboxed by default. Functional programming with fewer indirections!
🐱 Snowball is a low-weight, statically typed, object oriented programming language with garbage collector and module system.
An experimental programming language that's made to be powerful, productive, and predictable.
An easy to use systems programming language with python-like syntax
Purely functional scripting language with structural types, type inference, reactive streams and visualization.
Truck is a dynamic programming language with a focus on simplicity.
Valkyrie is a multi-stage gradual typed language with first class continuation and effect system.
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.