Ada-SPARK-Hub
Popular repositories Loading
-
Ada-SPARK-Best-Practices
Ada-SPARK-Best-Practices PublicThis 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
-
Repositories
Showing 2 of 2 repositories
- 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-SPARK-Hub/Ada-SPARK-Best-Practices’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…