gfadini's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
astral-sh/ruff
An extremely fast Python linter and code formatter, written in Rust.
hyprwm/Hyprland
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
bulletphysics/bullet3
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
RobotLocomotion/drake
Model-based design and verification for robotics.
dexpota/kitty-themes
A collection of themes for kitty terminal 😻
Pyomo/pyomo
An object-oriented algebraic modeling language in Python for structured optimization problems.
stack-of-tasks/pinocchio
A fast and flexible implementation of Rigid Body Dynamics algorithms and their analytical derivatives
sagemath/sage-archive-2023-02-01
This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.sagemath.org/ to our new repository on GitHub, https://github.com/sagemath/sage, we have renamed and archived this repository.
python-control/python-control
The Python Control Systems Library is a Python module that implements basic operations for analysis and design of feedback control systems.
autodiff/autodiff
automatic differentiation made easier for C++
coin-or/Ipopt
COIN-OR Interior Point Optimizer IPOPT
josephwright/beamer
A LaTeX class for producing presentations and slides
vsg-dev/VulkanSceneGraph
Vulkan & C++17 based Scene Graph Project
pypose/pypose
A library for differentiable robotics.
tumic0/GPXSee
GPS log file viewer and analyzer with support for GPX, TCX, KML, FIT, IGC, NMEA, SLF, SML, LOC, GPI, GeoJSON and OziExplorer files.
dfki-ric/phobos
An add-on for Blender allowing to create URDF, SDF and SMURF robot models in a WYSIWYG environment.
coin-or/CppAD
A C++ Algorithmic Differentiation Package: Home Page
X-DataInitiative/tick
Module for statistical learning, with a particular emphasis on time-dependent modelling
mananapr/cfiles
A ncurses file manager written in C with vim like keybindings
Simple-Robotics/proxsuite
The Advanced Proximal Optimization Toolbox
leggedrobotics/xpp
Visualization of Motions for Legged Robots in ros-rviz
siconos/siconos
Simulation framework for nonsmooth dynamical systems
Gepetto/example-robot-data
Set of robot URDFs for benchmarking and developed examples.
MarcToussaint/AI-lectures
Lecture notes, slides and scripts (LaTeX sources) in AI, Robotics, Machine Learning, Maths, Optimization
stephane-caron/vulp
Robot/simulation switch for the mjbots stack
MarcToussaint/robotics-course
Interfaces used for the Robotics Practical Course. Using equivalent C++ or python interfaces, and direct execution on a baxter or in simulation (linking bullet or physx).
MarcToussaint/optimization-course
Python bindings to some optimization benchmarks (robotics problems), in order to constrained optimization solvers. Includes also an interface to the solvers within rai. See the jupyter notebocks in 'tutorials'.
DeepakParamkusam/urdf2eom
Generate symbolic equations of motion from URDF file
PepMS/croco_ipopt
Testing repo to interface IPOPT using Crocoddyl