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

Water consumption tracker, written with GHCJS and Reflex FRP.

Mulky IMAP BrowserID Primary

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

ACID persistence for Clojure refs.

A fork of cl-bench for testing sb-eval2.

Protocols for the Common Lisp Object System.

JSON Template in portable Common Lisp.

Continuation-based fibers for Scala

Social bookmarking and lazy chatting/microblogging.

Shared container images used in my other projects.

A bupstash-based backup script.

Cryptographic primitives in pure Racket. Whirlpool, CubeHash, Salsa20, HMAC.

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.