Programmable CI/CD engine without Containers, written in Rust, built on top of Wasm and Nix

A Linux container environment where everything is mutable, undo is instant, and cross-machine replication is trivial.

A semantic stack slicer for Jujutsu.

atmosphere explorer

Our Personal Data Server from scratch!

an infinite-canvas terminal multiplexer using gpui

A library to facilitate complex multi-host NixOS configurations.

My NixOS config Part 4: Tack is unbreakable

My NixOS config Part 4: Tack is unbreakable

a collection of lightweight TypeScript packages for AT Protocol, the protocol powering Bluesky

a collection of lightweight TypeScript packages for AT Protocol, the protocol powering Bluesky

My entire NixOS config or something!

My entire NixOS config or something!

The (aspirational) foundation of CS at WCU!

The (aspirational) foundation of CS at WCU!

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

copyediting for your websites made visual and easy.

copyediting for your websites made visual and easy.

An OIDC provider for AT Protocol OAuth. Rust port of apenwarr/atlogin.

An OIDC provider for AT Protocol OAuth. Rust port of apenwarr/atlogin.

🏡 my personal home lab

🏡 my personal home lab

configs

configs

My dotfiles and Nix config

My dotfiles and Nix config

a dotfile but it's really big