Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

The Machine Learning Optimizer

Pre-built implicit layer architectures with O(1) backprop, GPUs, and stiff+non-stiff DE solvers, demonstrating scientific machine learning (SciML) and physics-informed machine learning methods

openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.

System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be re…

Basic linear algebra subroutines for embedded optimization

Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control

Private development repository for qpDUNES

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 …

ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct o…