The installers for all the games

libheif is an HEIF and AVIF file format decoder and encoder.

Tutorials for the Transform 2021

Geophysical Inversion and Modeling Library 🌍

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

The Python programming language

The most widely used Python to C compiler

Lightweight, general, scalable C++ library for finite element methods

Unofficial mirror of gnuplot's git repository. Please don't open pull requests here, go to https://sourceforge.net/p/gnuplot/gnuplot-main/merge-requests/ instead.

Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more

Simple finite element assemblers

Mesh generation by the adaptive process

Simple Directmedia Layer