A highly customizable SQP & barrier solver for nonlinearly constrained optimization

Code accompanying the paper "Probabilistic Safety under Arbitrary Disturbance Distributions using Piecewise-Affine Control Barrier Functions"

Implementation of C++26 §29.10 Data-parallel types for GCC

Tikz generation from Python.

This project provides the infrastructure to build CMake Python wheels.

User-oriented fork of LLVM's opt-viewer

A prototypical implementation of the recently proposed feasible sequential linear programming algorithm.

Model predictive control test set to benchmark QP solvers

A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

Basic linear algebra subroutines for embedded optimization

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

CUDA Templates and Python DSLs for High-Performance Linear Algebra

Truly independent web browser

Conan - The open-source C and C++ package manager

Recipes for the ConanCenter repository

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

Raspberry Pi: development platform for PlatformIO

This is a library for creating a MIDI controller using an Arduino or Teensy board.

Scientific Python Library Development Guide and Cookiecutter

Reverse mode autodiff library, interior-point method, and NLP solver DSL for C++23 and Python

Generate python stub files for code completion in IDEs for nanobind modules.

nanobind: tiny and efficient C++/Python bindings

High-performance automatic differentiation of LLVM and MLIR.

The data manager package (dman) is a framework for file management with focus on human readability by allowing a user to define a file structure through dataclass-like syntax.

Metadata to support C++ packaging

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Source code for LCN submission for ConferencingSpeech2022 challenge.

Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards