No description
  • Dart 78.6%
  • PLpgSQL 19.3%
  • Kotlin 1.1%
  • C++ 0.4%
  • CMake 0.2%
  • Other 0.2%
Find a file
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Tizian 「ティツィアーン」 991af7af48
All checks were successful
CI / check (push) Successful in 41m21s
CI / deploy (push) Successful in 2m19s
build(ci): the check job may take 60 minutes, as Train's packages brought a warm run to 42 of 45
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>
2026-10-30 18:56:44 +01:00
.forgejo/workflows build(ci): the check job may take 60 minutes, as Train's packages brought a warm run to 42 of 45 2026-10-30 18:56:44 +01:00
.vscode build: Melos, a Dart check and every path for the single repository 2026-10-22 18:11:04 +02:00
apps build: CI and the snap build with Flutter v3.47.8, as the laptop does 2026-10-30 17:43:24 +01:00
deploy fix(deploy): the sidecars' downloads try again within the hour after a failed round 2026-10-30 15:53:12 +01:00
docs/adr build(train): Train is released as Learn is, with a key of its own, beside it in the F-Droid repository (ADR 0030, D58) 2026-10-30 17:05:10 +01:00
packages fix(train): no row's ID tells the instance a date: the days' IDs are keyed by the account (ADR 0030, D57) 2026-10-30 16:12:01 +01:00
snap build: CI and the snap build with Flutter v3.47.8, as the laptop does 2026-10-30 17:43:24 +01:00
test build: releases fetch their signing keys from Proton Pass into memory, never onto the disk 2026-10-30 17:05:11 +01:00
tool build: the F-Droid script takes back every APK released before it updates, so no laptop's run deletes one 2026-10-30 17:05:11 +01:00
.dockerignore feat(train): search for places in the route planner, through Photon (ADR 0030, D50) 2026-10-30 15:53:07 +01:00
.gitignore feat(train): search for places in the route planner, through Photon (ADR 0030, D50) 2026-10-30 15:53:07 +01:00
AGENTS.md build: releases fetch their signing keys from Proton Pass into memory, never onto the disk 2026-10-30 17:05:11 +01:00
analysis_options.yaml chore(lint): LeanCode's strict rules and a pre-push check 2026-09-29 23:06:29 +02:00
CLAUDE.md chore: scaffold the Serverpod 4 build 2026-09-24 15:32:29 +02:00
CONTRIBUTING.md docs: one repository for every app and shared package (ADR 0015) 2026-10-22 18:11:04 +02:00
LICENSE.md feat(train): setting up and keeping the Polar Loop (ADR 0030, D34–D36) 2026-10-30 15:52:55 +01:00
pubspec.lock feat(train): the workouts listed, and each one's page with its map (ADR 0030, D22-D24) 2026-10-30 15:52:50 +01:00
pubspec.yaml feat(train): Halkyon Train's shell, Todo's copied and renamed (ADR 0030, D12) 2026-10-30 15:52:45 +01:00
README.md build: CI and the snap build with Flutter v3.47.8, as the laptop does 2026-10-30 17:43:24 +01:00

Halkyon

Halkyon's apps and the packages they share, in one repository. Each app is a Flutter app for Linux, Windows, macOS, Android and iOS with a Serverpod server of its own, offline-first, and anyone may run an instance of it: the apps, the servers and everything needed to host an instance are published.

App What it is Where
Halkyon Learn Creating, sharing and studying study material, flashcards scheduled with FSRS apps/learn/, at learn.halkyon.eu
Halkyon Todo To-dos; for now a shell on the shared packages: sign-in, instances, the account apps/todo/
Halkyon Train Running, cycling and rowing (ADR 0030); for now a shell on the shared packages apps/train/

Halkyon Meditate is to follow.

Layout

  • apps/<app>/: each app's server, generated client and Flutter app.
  • packages/: what the apps share, taken by path: halkyon_ui (the look: theme, bundled Noto Sans, layout, shared widgets), halkyon_app (instances, signing in, each person's data and its sync), halkyon_base (what every server has, as a Serverpod module with its generated client halkyon_base_client: signing in, the account and its deletion, the pruning, the instance's basics), halkyon_core (low-level primitives) and halkyon_interop (contracts between apps).
  • deploy/: what runs an instance (Docker Compose: Caddy, the server, PostgreSQL), learn.halkyon.eu's today.
  • tool/: the checks, the pre-push hook and the release scripts. docs/adr/: the decisions and their reasons.

One pub workspace holds every package: one pubspec.lock, one version of each dependency. Melos runs scripts across them.

Getting started

  • Flutter v3.47.8, the version CI uses (FLUTTER_VERSION in .forgejo/workflows/ci.yaml), with each platform you build for set up by Flutter's own guides; what an app needs beyond that is in its README.
  • The Serverpod CLI v4.0.4: dart install serverpod_cli@4.0.4. Pass --no-analytics to every call; otherwise it reports the commands run to Serverpod.
  • A C++ compiler, for flutter test too: a dependency of Learn's compiles MeCab as it builds.
flutter pub get                               # every package of the workspace
dart run melos list                           # the packages
ln -s ../../tool/pre-push .git/hooks/pre-push # the checks before every push
dart run tool/check.dart                      # format, analysis, every package's tests

dart run tool/check.dart --changed-since=origin/main tests only what changed since main and what depends on it; dart run melos run test:flutter --scope=<package> one package's Flutter tests. Each server's tests start an embedded PostgreSQL (no Docker) and need test passwords in the server's git-ignored config/passwords.yaml (the module's README and each app's say which). How the code is organised and the rules it follows are in AGENTS.md and each app's own.

Licences

The servers and the server module are under the Server Side Public License 1.0, the apps, the client packages and the other shared packages under the GNU Affero General Public License 3.0 or later. LICENSE.md says which covers what, CONTRIBUTING.md how to contribute.