Take a look at our projects
AEC
A low-level programming language with syntax inspired by BASIC and Ada. Right now, it can target x86 and WebAssembly.
Ante
A compiled systems language focusing on providing extensibility through the use of a compile-time API.
Butter
A tasty language for building efficient software.
Calypso
Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.
Chaos
Strongly typed, dynamic yet compilable, test-oriented procedural programming language that achieves zero cyclomatic complexity.
CASC
A JVM language focus on concise syntaxes and enhancing language features from Java.
Clamn
An experiment in using partial evaluation, dependent types, and data layout abstraction to achieve high and predictable performance in a pure functional language
Closey
A functional language that aims to be as simple as possible but as efficient and user friendly as possible.
ConCurr
A curried purely-functional lisp with extensible pattern matching.
ForthScript
Simple yet powerful concatenative stack-based scripting lang with code-as-data paradigm. Aims to run on bare metal like FORTH!
Jinx
A clean, embeddable scripting language designed with an asynchronous and thread-safe execution model.
Lobster
Flow-senstitive type inference, specialization, compile-time reference counting, and Python-y syntax.
MANOOL
Programming language that combines high abstraction power with great control over asymptotic complexity and performance of your programs
Mercury
A logic/functional programming language with advanced static analysis and error detection features.
Mushroom
An experimental functional programming language with an emphasis on type inference and aesthetic syntax.
Myrddin
A systems language aiming to fit in a similar niche to C, but with fewer bullets in your feet.
NGS
Next Generation Shell, an alternative to many scripting languages, with syntax for idempotent resource manipulation.
Oopsilon
Dynamic object language modelled after Smalltalk, with a gradual typing system affording expressiveness rivalling ML or Haskell.
oXyl
A functional language designed to work on parallel CPU and GPGPU using a functional paradigm and context system to contain side effects.
Plasma
A language that balances functional and imperative programming, and has state-of-the-art concurrency and parallelism features.
PISC
An attempt to make concatenative programming less mind-bendy via locals, closures, and syntactic sugar.
Pointless
A scripting language for learning and fun. Designed for teaching and exploring functional programming.
Popr
Concatenative programming for types as well as values, striving for purity, correctness, and efficient execution.
Psyche-c
A compiler for incomplete C code.
Rebuild
A project to experiment with and build the ultimate systems programming language.
RicScript
A dynamically typed interpreted scripting language.
Riff
A dynamically typed programming language designed primarily for prototyping and command-line usage.
Saltwater
A C compiler written in Rust.
Sixten
A dependently typed language where all data is unboxed by default. Functional programming with fewer indirections!
Star
An experimental programming language that's made to be powerful, productive, and predictable.
TopShell
Purely functional scripting language with structural types, type inference, reactive streams and visualization.
Truck
Truck is a dynamic programming language with a focus on simplicity.
Vox
Statically typed compiled language inspired by D. Both JIT and AOT compilation. Can be used for scripting in D programs.
WLambda
An embeddable dynamic scripting language for Rust. Every value can be called and the syntax is a blend of Perl, Lua, JavaScript and LISP.
Wu
An expression oriented, gradually typed, sweet, and mission-critical programming language.