Basic linear algebra subroutines for embedded optimization

Modeling language for Mathematical Optimization (linear, mixed-integer, conic, semidefinite, nonlinear)

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…

A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.

Linearity-exploiting reverse mode autodiff library, interior-point method, and NLP solver DSL for C++23 and Python.

A Proximal Interior Point Quadratic Programming solver

A highly customizable SQP & barrier solver for nonlinearly constrained optimization

HPC solver for nonlinear optimization problems

Efficient optimal control solvers for robotic systems.

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

High-performance interior-point-method QP and QCQP solvers

Incremental Potential Contact (IPC) is for robust and accurate time stepping of nonlinear elastodynamics. IPC guarantees intersection- and inversion-free trajectories regardless of materials, time-…

Linear optimization software

Learn make by example

🌁 Convert image to ASCII

ASCII generator (image to text, image to image, video to video)

💾 A Node.js module that converts images to ASCII art.

A cross-platform command-line tool to convert images into ascii art and print them on the console. Now supports braille art!

A JIT assembler for x86/x64 architectures supporting FPU, MMX, SSE (1-4), AVX (1-2, 512), APX, and AVX10.2

perfect6502, a MOS 6502 CPU emulator that performs a simulation of the original NMOS 6502 netlist

Lightweight Communications and Marshalling

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

An incremental parsing system for programming tools

All pdfs of Victor Eijkhout's Art of HPC books and courses

Multiphysics Object Oriented Simulation Environment

Source code for the X Recommendation Algorithm

Rocket Chip Generator

Google's Operations Research tools:

A collection of reference Jupyter notebooks and demo AI/ML applications for enterprise use cases: marketing, pricing, supply chain, smart manufacturing, and more.