Stars
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.
A curated collection of example marimo notebooks — use these as templates for your own experiments, workflows, and tools.
The Go Cloud Development Kit (Go CDK): A library and tools for open cloud development in Go.
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.
A CLI (Command Line Interface) to create your apps with Service Weaver, using gomigrate, sqlc, and Fiber.
Run Service Weaver applications on vanilla Kubernetes.
Repository used during the Service Weaver workshops.
Collection of SVG & PNG social media icons. Embeddable Social Icons, Use directly on your websites.
Programming framework for writing and deploying cloud applications.
List of bugs found in distributed protocols
Anki is a smart spaced repetition flashcard program
máobĭ (毛笔) is an Anki add-on to create cards with writing quizzes for Hanzi (Chinese characters)
Chinese character stroke order animations and practice quizzes
A list of papers about distributed consensus.
On the correctness of Egalitarian Paxos
A Python-embedded modeling language for convex optimization problems.