AdaCore/spark2014

github.com/AdaCore/spark2014 · 328 stars on 2026-10-01 · Unclaimed. Claim this repo if you can push to it · Remove this listing

Watch this repo's setup by RSS, or from a terminal: npx github:thirdreplicator/favz-cli follow AdaCore/spark2014

Runs now

hook (1)

PostToolUse:python3

Changes over time

From the git history of the repo's agent config files, newest first. A removal can mean a replacement, a move to private config or a changed need; we don't know which.