darcsweb

A web viewer for darcs.

Read-only clone URL https://darcs.alokat.org/clone/darcsweb/

Recent Activity

DateAuthorDescription
3 weeks ago fritjof@alokat.org Drop COPY gen/ gen/ from Dockerfile; Setup.hs regenerates it. diff
3 weeks ago fritjof@alokat.org Add Properties.Config test module (missed in previous patch) diff
3 weeks ago fritjof@alokat.org Security + performance hardening reconciled from Claude + Codex reviews diff
3 weeks ago fritjof@alokat.org Redesign page header and replace nginx with Caddy diff
3 weeks ago fritjof@alokat.org Add read-only HTTP clone endpoint for darcs repositories diff
2026-04-15 13:50:11 fritjof@alokat.org Speed up Docker rebuilds on Pi 5 with BuildKit cache mounts. diff
2026-04-14 10:50:57 fritjof@alokat.org Fix Dockerfile: replace BuildKit heredoc with printf for legacy builder compatibility. diff
2026-04-14 10:00:59 fritjof@alokat.org Security hardening, modern CSS redesign, and verified CSP builder. diff
2026-03-13 15:55:54 fritjof@alokat.org Add formal verification with Rocq and property-based testing. diff
2026-03-11 20:27:07 fritjof@alokat.org Add diff highlighting. diff

...