player-ada

github.comtool

Ada bindings for the player robotic platform.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   ada-ogl github.com

   tool category #ada link ↗

   Ada OpenGL Framework.

   
2. ▲
   adagl github.com

   tool category #ada link ↗

   Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WebAssembly/WebGL).

3. ▲
   robotics-with-ada github.com

   tool category #ada link ↗

   Robotics with Ada, ARM, and Lego.

   
4. ▲
   ada-lua github.com

   tool category #ada link ↗

   Ada binding for Lua.

   
5. ▲
   ada-time github.com

   tool category #ada link ↗

   Ada binding for the Pebble Time smartwatch.

   
6. ▲
   agpl github.com

   tool category #ada link ↗

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

   

Ada/SPARK › Libraries > Robotics: “Ada bindings for the player robotic platform.”