Skip to content

Add Lotti to Open Source Apps - #1080

Open
cyberk1ng wants to merge 1 commit into
Solido:masterfrom
cyberk1ng:add-lotti
Open

cyberk1ng wants to merge 1 commit into
Solido:masterfrom
cyberk1ng:add-lotti

Conversation

@cyberk1ng

Copy link
Copy Markdown

Adds Lotti (~1.2k stars, GPL-3.0) to Open Source Apps → Top, via source.md.

Why it's awesome: it is a large, actively developed Flutter app for macOS, Linux, Windows, iOS and Android. It's a private logbook for tasks, time tracking, journaling and habits, backed by a local database and end-to-end encrypted sync between devices, with optional AI agents that only propose changes. The sync protocol and agent runtime are specified in TLA+ and model-checked, so it's also a useful codebase to study.

Screenshots: see the README and the manual.

Disclosure: I contribute to Lotti.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant