I write typed functional code on the JVM, in Scala and Kotlin, and some Python for ML.
The biggest thing here is tweet-street, a small bank in four services: accounts as actors on a three-node cluster, transfers as sagas, screening, two-person approvals, and a chaos run that checks the books still balance afterwards.
It runs on a few small Kotlin libraries I wrote to see how ideas hold up: lark (effects, actors and clustering on virtual threads), pelican (HTTP endpoints as values), proofload (load testing) and kimney (compile-time mapping). petshop is a smaller service that tries them out with notes on whether each one helped.
Elsewhere: verdict, a Scala 3 rules engine that reads rules from lambdas with a macro; a ZIO HTTP API over four film universes in Scala; estate, a TypeScript dashboard that puts what you need for each service on one page; and some ML work from my MSc.
Scala, Kotlin, ZIO, Arrow, TypeScript, Kafka, Kubernetes, Python, PyTorch