Verified pixel compiler for TempleOS in Isabelle/HOL

OCaml tooling for tracing Xen guest address translation

Typed Gleam bindings for beamtea — Bubble Tea / The Elm Architecture for the BEAM terminal.

A SQLite-backed did:plc directory server for self-contained dev and preview environments.

🐑 a fluffy Gleam web server

🎀 Gleam tangled site soon? 👀

A component based functional template language

web-browser for macOS built on gpui and servo