Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
A type-safe, reflection-free, powerful enumeration implementation for Scala with exhaustive pattern match warnings and helpful integrations.
Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala
Slim Play app
My little sandbox for playing around with the FP + OOP + DDD combination, in particular using Rho, doobie, Docker, testing, etc in a project.
Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.
Survey of the Rust web scene in mid-2019, covering async/await, DDD-esque structure, testing, mocking, OpenAPI, and Actix
Background Tasks system backed by Elasticsearch with support for language agnostic Workers.
An exploration of modern Java API dev by building a reactive non-trivial app with DDD-esque structuring.
A bare-bones docker-compose file for zetcd