We might be a little mad: we want to port MuJoCo

We might be a little mad: we want to port MuJoCo to Ada/SPARK.

Ada Updated 11 days ago 1 commits

echo-ai|Mirror: MABS3D/SPARKling-MuJoCo (⭐0)

11 days ago

We might be a little mad: we want to port MuJoCo to Ada/SPARK.

Readme