Barkour Robot: Agile Quadruped Robots by Google DeepMind

A next-gen solver for optimization with nonconvex objective and constraints. Unifies barrier and SQP methods in a modern and generic way, and unlocks a variety of novel methods. Competitive against…

End-to-end SFM framework based on GTSAM

CUDA Accelerated Robot Library

MuZero

Google's Operations Research tools:

L-BFGS-B, converted from Fortran to C, with Matlab wrapper

resurrected LLVM "C Backend", with improvements

High-performance automatic differentiation of LLVM and MLIR.

A deep learning framework for symbolic optimization.

Quadratic programming solvers in Python with a unified API

Use PyTorch Models with CasADi and Acados

Python bindings for CppAD and CppADCodeGen using Boost.Python

Device tree for European Qualcomm Samsung Galaxy S 4 (GT-I9505)

Command-line program to download videos from YouTube.com and other video sites

A cheatsheet of modern C language and library features.

oneAPI Threading Building Blocks (oneTBB)

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …