GitHubHelp

Matt Bolitho

@MattBolitho · User

GitHub profile ↗ · Compare

Software at Alpine F1 Team

Alpine F1 TeamOxfordshire, UK13 followers25 repositories

Repositories

MattBolitho/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

★ 0LLVMForks 0

MattBolitho/rust

Empowering everyone to build reliable and efficient software.

★ 0RustForks 0

MattBolitho/Enzyme

High-performance automatic differentiation of LLVM and MLIR.

★ 0LLVMForks 0

MattBolitho/Uno

A next-gen Lagrange-Newton solver for nonconvex optimization. It unifies barrier and SQP methods in a modern and generic way, and implements different globalization flavors (line search/trust region and merit function/filter method/funnel method). Competitive against filterSQP, IPOPT, SNOPT, MINOS and CONOPT.

★ 0C++Forks 0

MattBolitho/nlopt

library for nonlinear optimization, wrapping many algorithms for global and local, constrained or unconstrained, optimization

★ 0CForks 0

MattBolitho/runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

★ 0C#Forks 0

MattBolitho/cc-rs

Rust library for build scripts to compile C/C++ code into a Rust library

★ 0RustForks 0

MattBolitho/GALAHAD

A library of modern Fortran modules for nonlinear optimization

★ 0FortranForks 0

MattBolitho/assert.xunit

xUnit.net assertion library for sub-module purposes (please open issues in https://github.com/xunit/xunit)

★ 0Forks 0

MattBolitho/prima

PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., COBYLA, UOBYQA, NEWUOA, BOBYQA, and LINCOA. PRIMA means Reference Implementation for Powell's methods with Modernization and Amelioration, P for Powell.

★ 0FortranForks 0