GitHub repository: shueja/ChoreoLib
Description: This is artifact and docs hosting for ChoreoLib only. Actual source is in https://github.com/SleipnirGroup/Choreo/tree/main/choreolib