Lists (1)
Sort Name ascending (A-Z)
Starred repositories
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.
A linearity-exploiting sparse nonlinear constrained optimization problem solver that uses the interior-point method.
A Proximal Interior Point Quadratic Programming solver
A next-gen solver for nonconvex optimization. Uno is a Lagrange-Newton solver that unifies barrier and SQP methods in a modern and generic way, and implements different globalization flavors (line …
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-…
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 MMX, SSE (1-4), AVX (1-2, 512), FPU, APX, and AVX10.2
perfect6502, a MOS 6502 CPU emulator that performs a simulation of the original NMOS 6502 netlist
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 Twitter's Recommendation Algorithm
A collection of reference Jupyter notebooks and demo AI/ML applications for enterprise use cases: marketing, pricing, supply chain, smart manufacturing, and more.