Popular repositories Loading

1. Ada-SPARK-Best-Practices Ada-SPARK-Best-Practices Public

   This repo contains best practices and patterns to help both humans and LLMs generate proper Ada SPARK code including contracts such as Pre- and Post-conditions and Variants and Invariants.

   Ada

2. Eitri Eitri Public

3. test-repo test-repo Public

   A quick test repo to see how a submission works