Explore projects

My microblog. Combined successor of Benki and MulkCMS 1.

GVariant and OSTree parser for Java

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

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.

Protocols for the Common Lisp Object System.

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

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.