Explore projects

My microblog. Combined successor of Benki and MulkCMS 1.

A Quarkus extension that outputs structured logs in Google Cloud Logging JSON format.

GVariant and OSTree parser for Java

Continuation-based fibers for Scala

Social bookmarking and lazy chatting/microblogging.

Mulky IMAP BrowserID Primary

Two-way Common-Lisp–Objective-C bridge.

ACID persistence for Clojure refs.

An example gRPC service built with F# and .NET Core

The Gödel-Gentzen Clojure Syndication Services Super System, CljSSSS^g.

Protocols for the Common Lisp Object System.

Shared container images used in my other projects.

A bupstash-based backup script.

Water consumption tracker, written with GHCJS and Reflex FRP.

JSON Template in Typed Racket.

An ANSI Common Lisp compiler using LLVM.

JSON Template in portable R6RS.

Functional utilities and persistent data structures for C.

Grading tool for a Mathematical Logic lecture.