Willem van den Ende 70c16a5173 made claude.md ...

agents.md is not what I wanted. but it is a step.

2026-04-22 11:44:43 +01:00

.claude

allium porting plan

2026-04-22 10:27:30 +00:00

AGENTS.md

made claude.md

2026-04-22 11:44:43 +01:00

allium-port-plan.md

allium porting plan

2026-04-22 10:27:30 +00:00

CLAUDE.md

made claude.md

2026-04-22 11:44:43 +01:00

learning-goal.md

allium porting plan

2026-04-22 10:27:30 +00:00

porting-planning-session-transcript.md

allium porting plan

2026-04-22 10:27:30 +00:00

Description

Porting of juxt/allium to Pi.dev. For those who want to be in the intersection of short cycle iterative development (XP) and grounding in formal verification.

MIT 365 KiB

Languages

Shell 100%