An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning a…

Symbolic programming for the next generation of numerical software

A Julia interface for the SCS conic programming solver

Progress meter for long-running computations

A solver for mixed-integer convex optimization

Interior-point solver in pure Julia

Semidefinite programming optimization solver

Julia package for formulating and analyzing stochastic recourse models.

interior point solver for general convex conic optimization problems

A development environment for robust and global optimization

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

Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.

A Julia/JuMP-based Global Optimization Solver for Non-convex Programs

Use evil-mode with dvorak key bindings.

The agda-unimath library