A self-hosted travel/trip planner with real-time collaboration, interactive maps, PWA support, SSO, budgets, packing lists, and more.

A Git extension for tracking the AI-generated code in your repos

Render Mermaid graphs inside your terminal

Where you report issues and bugs for Subway Builder

Free, no-nonsense, super fast blogging.

Lean 4 programming language and theorem prover

Cross-platform library and utility to manage passwords

Sourcebot is a self-hosted tool that helps humans and agents understand your codebase.

Get 10X more out of Claude Code, Codex or any coding agent

Streamlit — A faster way to build and share data apps.

StateTrooper is a Go package that provides a finite state machine (FSM) for managing states. It allows you to define and enforce state transitions based on predefined rules.

xid is a globally unique id generator thought for the web

Golang LRU cache

Manage stacked Git branches

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Main engine of the IronCalc ecosystem

Go SDK for OpenFeature

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Library for detecting profanities in Go

Database diagrams editor that allows you to visualize and design your DB with a single query.

Cross-platform keyring interface for Go

A high performance and flexible authorization/permission engine built for developers and inspired by Google Zanzibar

CLI + tiny library for more readable SQL queries

dev tools, env vars, task runner

A modern replacement for Redis and Memcached

OpenFeature specification

A database migration tool. Supports SQL migrations and Go functions.

Plugin for generating OpenAPIv3 from protobufs matching the Connect RPC interface