⊢mempool surfer

Vault

Vaultrix

A password manager. Passwords are encrypted on your device before they are stored, and one recovery key unlocks them on any other device.

⊢the server stores only encrypted data, and learns nothing Ledger

Tally

Split shared expenses with friends. It tracks who paid for what, shows who owes whom, and settles everyone up in one step.

⊢every split sums exactly, in integer pence Encyclopedia

Evident

An encyclopedia where every statement is checked against saved copies of its sources, and marked with a verdict you can inspect.

⊢182 claims in evidence, 33,845 staked on their truth ⊢verdicts checked against archived sources Registry

Satoshi’s Razor

A public list of unsolved mathematics problems, each stated precisely enough that a computer can verify any proposed proof. Anyone, human or machine, may solve one.

⊢0 of 0 problems open ⊢proofs accepted by machine check, not by committee Data room

Foyer

A private place to share sensitive documents. Recipients open them from a link, and you see exactly what was read, and for how long.

⊢reading is measured, never assumed Palm scanner

Boop

Pay, prove your age, or open doors by scanning your palm. The scan takes a third of a second and needs no phone or card.

⊢your palm is verified, never stored Library

The Reading Project

A personal library: articles, books, and references saved to be found and read again.

⊢checked out, not checked Reader

Mandarin

Graded Mandarin stories for comprehensible input. Tap a sentence to hear it, tap a word for its meaning.

⊢input first, output when you are ready