pinocchio

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

Python inverse kinematics using Pinocchio and QP solvers

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で学ぶモデル予測制御』 サポートサイト

setup your pinocchio project blazingly fast 💨

A cross-platform real-time 3D renderer for robotics powered by SDL3-gpu

🇮🇹Italiano Learning

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

A repository of Solana program examples using Pinocchio

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

R1CS-QAP-Pinocchio-Groth16 study project

Turbin3 Q4 Cohort: Solana Optimized Native Rust Programs (Vault, Escrow, Fundraiser, AMM, SBPF Close Account)

Compile C to zkSNARKs using Pinocchio