Functional choreographic programming in Haskell

Rebuild an unraveling world

porting opencode tools and prompts to be used in emacs via gptel

Twiggy🌱 is a code size profiler

The open source coding agent.

🏔️ Sync protocol for hash-linked data

The official website of the Automerge project, with docs, references, community links, and more!

A supported fork of Mastodon that provides local posting and a wider range of content types.

A hacker's file manager with VIM inspired keybind

Always up-to-date Nix package for Claude Code with hourly updates, native binary default, and Node.js/Bun alternatives

A computationally transparent language based on higher-dimensional rewriting.

a debugger for async rust!

🎵 Ucanto for UCAN 1.0

A tool for working with UCAN 1.0 tokens.

Push your work with pushwork.

Personal Project | Creating a physical Calendar widget with Raspberry-Pi, an eInk display and the the Google Calendar API.

Collaborative, local-first GTK text editor

A simple chat applicatoin to explore a custom iroh beelay/keyhive protocol's integration with a "real" application

The quadplay✜ fantasy console

Multiformat for cryptographic signatures

2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption

An experimental Rust native UI framework

A game made by the Celeste developers in a week(ish, closer to 2)

Signed Zero-trust DaTa - signed CBOR for censorship-resistant data

The Jitsi Handbook