.github/Add linux-arm64 build to GitHub Actions CI7 months ago .vscode/Extract button components into separate module and improve formatting6 months ago client/Migrate persistence to Dapper.FSharp with SQLite, implement photo cropping, and enhance button animations6 months ago .gitignoreFix three security bugs: safeCompare, VerifyAuth gossip filtering, and lookupSession collision handling6 months ago LICENSEInitial commit7 months ago PROTOCOL.mdImprove client type safety and simplify state management: embed page state into Page DU, add delivery status tracking, inline identity generation, make ServerUrl non-optional6 months ago README.mdImprove type safety: use MessageDirection discriminated union, simplify polling6 months ago dotnet-tools.jsonExtract button components into separate module and improve formatting6 months ago install.shRequire DOMAIN in install script, add Caddy reverse proxy with automatic TLS, add servers.json7 months ago server.knotEnable iOS AOT+interpreter mode and fix storage path resolution6 months ago servers.jsonUpdate server.knot to match Knot language spec: bind source relations before use, all IO before branching7 months ago skrepka.serviceUpdate install script to restart service if already installed7 months ago