The MLton repository

A programming language in Turkish where grammatical case and mood are part of the type system.

A collaborative bibliography of work related to the theory and practice of computational effects

A safe, easy systems language

Frank compiler

A systems programming language with lexical effect handlers

The Shine compiler for the RISE language

A modern supercompiler for call-by-value functional languages

An attempt at safe imperative GPU programming.

Asha audio protocol implementation for linux.

Quine Museum

A language with dependent data and codata types

The Flix Programming Language

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

A modern proof language

Koka language compiler and interpreter

A language with lexical effect handlers and lightweight effect polymorphism