George Stelle's repositories
cem
Cactus Environment Machine
cheetah
Source for the OpenCilk runtime system, based on Cheetah.
coquille
Interactive theorem proving with Coq in vim.
domdag
dominator dag formalization work
ECP-ST-CAR-PUBLIC
The Exascale Computing Project Software Technologies Capability Assessment Report - Public Version
FlexFlow
A distributed deep learning framework that supports flexible parallelization strategies.
HPCCG
High Performance Computing Conjugate Gradients: The original Mantevo miniapp
llvm-hs
Haskell bindings for LLVM
llvm-project
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
m4_arduino_make
Grand Central M4 Arduino Makefile
MPI.jl
MPI wrappers for Julia
opencilk-project
Monorepo for the OpenCilk project. Under development. Runtime "sold" separately.
qthreads
Lightweight locality-aware user-level threading runtime.
ROCm
ROCm - Open Source Platform for HPC and Ultrascale GPU Computing
SPIRV-LLVM-Translator
A tool and a library for bi-directional translation between SPIR-V and LLVM IR
taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
Tapir-Clang
Clang frontend to Tapir Compiler, includes implementation of Cilk language in frontend
tlc
tensor language compiler