Λrrow - The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

Full-stack, no-declaration, framework to quickly and effortlessly create web applications with modern Java.

Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.

Extensible algebraic effects with handlers

Async / Await asynchronous programming model for Java versions 1.8 - 23; similar to the functionality available in C# 5. The implementation is based on continuations for Java (see my other projects).

Ultralight Lisp for the Web

Supercharge your Python with parts of Lisp and Haskell.

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

Continuations / CoRoutines for Java 1.6 - 23, build tools, CDI support. This project is based on completely re-worked Apache Jakarta Commons JavaFlow library.

C# co-routine Kernel for .Net. Includes Futures, Barriers, Triggers, Timers and Groups. Gamasutra article provides extra documentation.

multi-shot continuations in OCaml

Resumable exceptions and delimited continuations for JVM

A summary of my activities during the past four years

Delimited continuations in byte-code and native OCaml

Implementation of delimited control for C/C++

Choice operator in OCaml, providing a backtracking monad

Tape based task copying in Turing

Quantum circuits compiler with staging and continuations

A small Lisp dialect that serves me as a test bed for programming language features.

Delimited Generators - Minimal Delimited Control for JS