SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

A friendly programming language from the future

A modern proof language

Koka language compiler and interpreter

lamdu - towards the next generation IDE

A statically typed concatenative systems programming language.

Detexify Backend written in Haskell

Minimal implementations for dependent type checking and elaboration

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

A categorical programming language with effects

The cuteness implementation of a dependently typed language.

being an operating system for typechecking processes

theseus, functional programming language with fully reversible computation

Fast and concise extensible effects

Interpreter for the reversible functional language rFun

🌲 Logic puzzle game based on the lambda calculus