Pinned Loading

1. cfdlang cfdlang Public

   Domain-specific language for tensor kernels in Computational Fluid Dynamics simulations.

   C++ 3 1

2. TensorDSL TensorDSL Public

   Stand-alone compiler for the core CFDlang domain-specific language.

   Haskell 1

3. TensorIR TensorIR Public

   Formal development of a type-safe intermediate language for tensor expressions.

   Coq 8

4. clang-syntax-macros clang-syntax-macros Public

   Extends Clang to support syntax macros.

   C++ 4 1

5. backend-support backend-support Public

   LLVM compiler backend support for memory error detection.

   C++ 2 1

6. fastfi fastfi Public

   Fast fault injector based on Intel's Pin tool.

   C++ 5 1