A friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A modern proof language

C to Rust translator

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

A programming language with static memory management based on λ-calculus

Simply Reactive! Declarative orchestration in Haskell using RDP

A typed, polyglot, functional language

A graphical interactive proof assistant designed for education

The Kleenex programming language

being a programming language for sequential circuits