ada-runtime

github.comtool

A downsized Ada runtime which can be adapted to different platforms.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Runtimes: “A downsized Ada runtime which can be adapted to different platforms.”