tkoolen

LoopVectorization.jl

Macro(s) for vectorizing loops.

Cthulhu.jl

The slow descent into madness

StaticCompiler.jl

Compiles Julia code to a standalone library (experimental)

Transducers.jl

Efficient transducers for Julia

Metatheory.jl

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

TrajectoryOptimization.jl

A fast trajectory optimization library written in Julia

Manopt.jl

🏔️Manopt. jl – Optimization on Manifolds in Julia

COSMO.jl

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

MonteCarloMeasurements.jl

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

Juniper.jl

A JuMP-based Nonlinear Integer Program Solver

GeometryBasics.jl

Basic Geometry Types

EAGO.jl

A development environment for robust and global optimization

CompatHelper.jl

Automatically update the [compat] entries for your Julia package's dependencies

CBinding.jl

Automatic C interfacing for Julia

NamedDims.jl

For working with dimensions of arrays by name

PackageCompilerX.jl

Tricks.jl

Cunning tricks though the julia compiler internals

Fezzik

Brute force sysimg building for Julia

CatViews.jl

Concatenated Array views in Julia.

MagneticReadHead.jl

A cassette-based debugger | The Other Debugger

PaddedMatrices.jl

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

SetProg.jl

Set Programming with JuMP

sos

Information page for running sos solvers

SNOPT7.jl

Julia interface for SNOPT7

PressureFieldContact.jl

Elastic foundation contact model for rigid body dynamics.

StagedFunctions.jl

Bilevel.jl

DifferentialDynamicsModels.jl

BenchSweeps.jl

Cassertte.jl

Cassette-based assert -- Cassette assert -- Cassertte