A type-checking kernel, algebraic effects, and dependent types in pure Nix

Exports Discord chat logs to a file (without the political bloat)

ForgeFed - Federation Protocol for Forge Services

Multi-protocol chat bridge (IRC, Matrix, XMPP, Discord, Telegram, etc…)

Documentation and source code powering Twitter's Community Notes

An open-source AI agent that lives in your terminal.

P2P CAS / P2P Framework / Distributed GIT

a pretty cool artificial life simulator