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

A freer-monad effect layer with a dependent type checker, all in pure Nix

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

Documentation and source code powering Twitter's Community Notes

ForgeFed - Federation Protocol for Forge Services

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

P2P CAS / P2P Framework / Distributed GIT

a pretty cool artificial life simulator