A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives

Python inverse kinematics based on Pinocchio

A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop

Efficient Task Space Inverse Dynamics (TSID) based on Pinocchio

Library for programming zk-SNARKs directly in Python

The Simple Simulator: Simulation Made Simple

『PythonとCasADiで学ぶモデル予測制御』 サポートサイト

🇮🇹Italiano Learning

Library built from scratch to implement zk-protocols

This repository implements an optimization strategy for singularity free trajectory generation for the serial robots.

Intermediate Language for zkSNARK circuits

URDF description of Skydio X2 quadrotor

Using Pinocchio in Google Ceres

A simple python pip package implementing a wrapper for pinocchio library's robot model object

Compile C to zkSNARKs using Pinocchio

A Pinocchio-based ROS2 Kinematics Interface implementation. This plugin can be used instead of the default KDL implementation shipped with default ROS installations.

jsnark support for ethsnarks

Modeling deformable objects using the rigid finite element method

Double pendulum leg model and control using Pinocchio library in Python

Reference implementation of the Pinccohio zk proof system