Productive, portable, and performant GPU programming in Python.

🥑 ArangoDB is a native multi-model database with flexible data models for documents, graphs, and key-values. Build high performance applications using a convenient SQL-like query language or JavaSc…

The Z3 Theorem Prover

Apache Thrift

A General-purpose Task-parallel Programming System using Modern C++

A Python-embedded modeling language for convex optimization problems.

Taskwarrior - Command line Task Management

C++ tensors with broadcasting and lazy computing

COIN-OR Interior Point Optimizer IPOPT

The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

SymEngine is a fast symbolic manipulation library, written in C++

pgf/TikZ diagram editor

Official main repository for LFortran

A C++ library for efficient tensor network calculations

Libint: high-performance library for computing Gaussian integrals in quantum mechanics

Avogadro is an advanced molecular editor designed for cross-platform use in computational chemistry, molecular modeling, bioinformatics, materials science, and related areas.

"Full speed or nothing." - James Hetfield

Arbitrary-order derivatives of popular electronic structure methods, such as Hartree-Fock and coupled cluster theory.

haskell bindings for blas and lapack

Folke's ZMK config

Code and other materials for the S2I2 Software Summer School

C++17 library for representing and handling of permutation groups.