Aidenwjt

Aiden Taylor's starred repositories

libheif

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

Language:C++NOASSERTION165800

transform2021

Tutorials for the Transform 2021

Language:Jupyter NotebookApache-2.02700

gimli

Geophysical Inversion and Modeling Library :earth_africa:

Language:PythonNOASSERTION36200

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellMIT17191500

coq

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 development of machine-checked proofs.

Language:OCamlLGPL-2.1475300

cpython

The Python programming language

Language:PythonNOASSERTION6188200

cython

The most widely used Python to C compiler

Language:PythonApache-2.0927500

mfem

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

Language:C++BSD-3-Clause165500

gnuplot

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.

Language:CNOASSERTION33200

gonum

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

Language:GoBSD-3-Clause748100

scikit-fem

Simple finite element assemblers

Language:PythonBSD-3-Clause48500

adaptmesh

Mesh generation by the adaptive process

Language:PythonNOASSERTION3300

SDL

Simple Directmedia Layer

Language:CZlib908500