Stars
Beautiful, AI-native markdown IDE and LLM wiki
Self-hosted, semantically-connected personal knowledge base
The best-benchmarked open-source AI memory system. And it's free.
Property-based testing for web and terminal UIs
</> htmx - high power tools for HTML
Ultra-lightweight, zero dependency, semantic HTML, CSS, JS UI library. ~10KB min+gz.
Visualize and share your data. All in SQL. Powered by DuckDB.
Archive a lifetime of email and chat. Offline search, analytics, and AI query over your full message history. Powered by SQLite and DuckDB
Enforce the habit of self-documenting code through better commit messages.
A comprehensive list of books on Software Architecture.
Use the *Discussions* of this repository to discuss statecharts in general.
A concise, beginner-friendly introduction to the core ideas of linear algebra.
VIM Master: in-browser game that teaches core Vim motions and editing commands through short, focused levels.
A beautiful, private, local-first personal finance tracker. Investments, net worth, spending, and simulations.
Love2D LSP (VS Code / Neovim / Zed / etc.) extension for live coding and live variable tracking
Hazel, a live functional programming environment with typed holes
The most scalable and customizable permission server on the market. Fix your slow or broken permission system with Google's proven "Zanzibar" approach. Supports ACL, RBAC, and more. Written in Go, …
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…
A tutorial about how to apply property-based testing to stateful systems.
An implementation strategy for lists, queues, deque(ue)s.
🦥 Easy and simple Prometheus SLO (service level objectives) generator
Maven plugin to handle multi module projects for PiTest