The new Windows Terminal and the original Windows console host, all in the same place!

Lovely console emulator package for Windows

Google's Operations Research tools:

A Python-embedded modeling language for convex optimization problems.

GDAL is an open source MIT licensed translator library for raster and vector geospatial data formats.

Lean Theorem Prover

COIN-OR Interior Point Optimizer IPOPT

System Advisor Model (SAM)

Source Code for GridLAB-D

Mathematical Modeling for Optimization and Machine Learning

Hierarchical Engine for Large-scale Infrastructure Co-Simulation (HELICS)

GridDyn is an open-source power transmission simulation software package

GAMS Studio

Mathematical Modeling for Optimization and Machine Learning