Our software stack is driven by the OpenCilk compiler, which is a more robust production version of Tapir/LLVM. It supports the same languages (including C, C++, and Cilk) and backends as Tapir/LLVM and has support for parallelism, productivity tools, and instrumentation technology.

Exasim image description

Exasim is an open-source software for generating discontinuous Galerkin codes to numerically solve parametrized partial differential equations (PDEs) on different computing platforms with distributed memory. It combines high-level languages and low-level languages to easily cunstruct parametrized PDE models and automatically produce high-performance C++ codes. The construction of parametrized PDE models and the generation of the stand-alone C++ production code are handled by high-level languages, while the production code itself can run on various machines, from laptops to the largest supercomputers, with both CPU and Nvidia GPU processors.

Exasim Scientific Computing

LAMMPS image description

Compiler Technologies

QuantumESPRESSO image description

Compiler Technologies

DFTK image description

Scientific Computing

OpenCilk image description

Scientific Computing

Dagger image description

Compiler Technologies