Lists (4)
Starred repositories
A kubectl plugin to render watch output in a more readable fashion
A starter project for building your own static site generator using Shake and Haskell
Open telemetry auto instrumentation using GHC plugin
Clone of Sterling Clover's Diff repo on hub.darcs.net
Materials for the ESSLLI 2026 course "Introduction to Homotopy Type Theory / Univalent Foundations"
7
Updated Jul 11, 2026
A secure, fast, and adaptable OS based on the seL4 microkernel
A library for rendering vector shapes using the Bevy game engine
A variety of alternative parser combinator libraries
read the brotato logfile and summarize the run history in a text file for displaying on stream
Mod Source for BOTATO, brotato auto-battler mod
[Darkly77] Set of utilities and helpers for Brotato modding 💼
A mod for Brotato that allows for combining two characters into one, with a somewhat balancing penalty.
A functional language with algebraic effects, multishot continuations, and native codegen
Portable TUI Gopher client written in C89 for POSIX systems.
🛡️ Iocaine is a defense mechanism against unwanted scrapers, sitting between upstream resources and the fronting reverse proxy.
A Go module that provides access to the pledge(2) and unveil(2) system calls on OpenBSD
Code for a tutorial on how to use Rust to build on top of seL4.
Microkit - A simple operating system framework for the seL4 microkernel
A sample repo showing Kubernetes running on a fleet of AWS Lambda MicroVMs, and the ability to SSH into MicroVMs