Compiles Julia code to a standalone library (experimental)

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…

Cunning tricks though the julia compiler internals

Macro(s) for vectorizing loops.

CompatHelper.jl: We recommend migrating to Dependabot

Automatic C interfacing for Julia

Basic Geometry Types

Julia interface for SNOPT7

This library provides arrays with columns padded to be a multiple of SIMD-vector width.

For working with dimensions of arrays by name

Cassette-based assert -- Cassette assert -- Cassertte

Elastic foundation contact model for rigid body dynamics.

Concatenated Array views in Julia.

A development environment for robust and global optimization

Brute force sysimg building for Julia

🏔️Optimization on Riemannian Manifolds in Julia

Propagation of distributions by Monte-Carlo sampling: Real number types with uncertainty represented by samples.

A fast trajectory optimization library written in Julia

A cassette-based debugger | The Other Debugger

COSMO: Accelerated ADMM-based solver for convex conic optimisation problems (LP, QP, SOCP, SDP, ExpCP, PowCP). Automatic chordal decomposition of sparse semidefinite programs.

Efficient transducers for Julia

The slow descent into madness

Information page for running sos solvers

A JuMP-based Nonlinear Integer Program Solver

Set Programming with JuMP