sancta

github.comtool

Multi-robot task allocation library.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   agpl github.com

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   tool link ↗
   
2. ▲

   robotics-with-ada github.com

   Robotics with Ada, ARM, and Lego.

   tool link ↗
   
3. ▲

   ada-ogl github.com

   Ada OpenGL Framework.

   tool link ↗
   
4. ▲

   ada-actions github.com

   Ada Toolchains for GitHub Actions.

   tool link ↗
   tool
5. ▲

   ada-sodoku github.com

   Small Library for Sodoku grid solving / finding.

   tool link ↗
   
6. ▲

   spark-2014 github.com

   SPARK formal verification toolset.

   tool link ↗
   

Ada/SPARK › Hardware and Embedded > Libraries: “Multi-robot task allocation library.”