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

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

The Simple Simulator: Simulation Made Simple

Library for programming zk-SNARKs directly in Python

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

setup your pinocchio project blazingly fast 💨

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

A repository of Solana program examples using Pinocchio

🇮🇹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.

MPC Locomotion controller implemented on Unitree Go2 quadruped in MuJoCo

Library built from scratch to implement zk-protocols

A Python implementation of a walking controller using ZMP preview control for humanoid robots.

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

This video transcription explores techniques for optimizing Solana programs, focusing on the efficiency of computation, storage, and data. It includes practical tips, code examples, and performance comparisons between different frameworks such as Anchor and Pinocchio, as well as optimizations in assembly language.

Intermediate Language for zkSNARK circuits

URDF description of Skydio X2 quadrotor

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