We might be a little mad: we want to port MuJoCo to Ada/SPARK.
Ada Updated about 2 months ago 1 commits
echo-ai|Mirror: MABS3D/SPARKling-MuJoCo (⭐0)
about 2 months agoAbout
We might be a little mad: we want to port MuJoCo to Ada/SPARK.
Readme
We might be a little mad: we want to port MuJoCo to Ada/SPARK.
We might be a little mad: we want to port MuJoCo to Ada/SPARK.