mwhittaker

fzf

:cherry_blossom: A command-line fuzzy finder

d2l-en

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

anki

Anki's shared backend and web components, and the Qt frontend

go-cloud

The Go Cloud Development Kit (Go CDK): A library and tools for open cloud development in Go.

cvxpy

A Python-embedded modeling language for convex optimization problems.

weaver

Programming framework for writing and deploying cloud applications.

marimo

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

hanzi-writer

Chinese character stroke order animations and practice quizzes

distributed-consensus-reading-list

A list of papers about distributed consensus.

paxi

Paxos protocol framework

vue2vis

A Vuejs 2 adapter for Visjs

social-icons

Collection of SVG & PNG social media icons. Embeddable Social Icons, Use directly on your websites.

protocol-bugs-list

List of bugs found in distributed protocols

NOPaxos

NOPaxos consensus protocol

specpaxos

Speculative Paxos replication protocol

workshops

Repository used during the Service Weaver workshops.

weaver-gke

Run Weaver applications on GKE.

weaver-kube

Run Service Weaver applications on vanilla Kubernetes.

anki-maobi

máobĭ (毛笔) is an Anki add-on to create cards with writing quizzes for Hanzi (Chinese characters)

boneless

A CLI (Command Line Interface) to create your apps with Service Weaver, using gomigrate, sqlc, and Fiber.

template

cookbook

Examples and guides for using marimo

on-epaxos-correctness

On the correctness of Egalitarian Paxos

vscode-marimo

marimo vscode extenion

meps

Marimo Enhancement Proposals

anarchist-hitler

Play Secret Hitler without a server

meerkat

akshayka

tls-demo

walkout.tv

Live protest stream aggregator