Pinned Loading

1. bbt bbt Public

   Simple to use cross-platform BDD driver for black box testing

   Ada 29 3

2. ArchiCheck ArchiCheck Public

   Archicheck is a simple tool to describe and enforce architecture/design decision

   Ada 7 1

3. smk smk Public

   smk, the smart make

   Ada 13 1

4. topoproof topoproof Public

   A provable 3D CAD kernel based on discrete geometry, exact arithmetic, and formal proof

   Ada

5. ada-project-template ada-project-template Public

   Shared reference repository for Lionel's Ada projects: agent instructions template, common release procedure, locally-owned skills