Concurrency and streaming in interactive web pages

Functional, effectful streams with resource management

Utilities for using Idris2 on GNU/Linux systems

Asynchronous and concurrent computations in Idris2

Dynamic tiling Wayland compositor configurable in Guile Scheme, based on dwl and libguile - now with a REPL!

Ergonomic dependency injection via logic programming

Wrapper around ProjectMason to spread to other platforms

Fulcro full stack application template using clj-new

Code that'll help you kickstart a personal website that showcases your work as a software developer.

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain