A Julia interface to the MiniZinc constraint modeling language

Collection of builder repositories for BinaryBuilder.jl

Hindsight: Agent Memory That Learns

The most powerful MCP Slack Server with no permission requirements, Apps support, GovSlack, DMs, Group DMs and smart history fetch logic.

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Open-source persistent memory for AI agent pipelines (LangGraph, CrewAI, AutoGen) and Claude. REST API + knowledge graph + autonomous consolidation.

Optimizing over piecewise linear functions

personal website

Julia interface for Gurobi Optimizer

Uses the Convex.jl Problem Depot to test various optimization solvers

A julia package for Taylor polynomial expansions in one and several independent variables.

An abstraction layer for mathematical optimization solvers.

Data structures in Julia to enable power systems analysis

MathOptInterfaceMosek is the MathOptInterface.jl implementation for the MOSEK solver

A file-format for Mathematical Optimization

Julia utilities for the conic benchmark format for mathematical optimization

CVXOPT -- Python Software for Convex Optimization

MathProgBase wrapper to solve conic optimization problems with derivative-based nonlinear solvers

A Julia package for solving systems of polynomials via homotopy continuation.

A prototype JuMP extension for geometric programming

Interface to the Mosek solver in Julia

Solver-independent functions (i.e. linprog and mixintprog) and low-level interface for Mathematical Programming

Website for JuliaOpt