stelleg Goto Github PK

aicgtalk

ares

Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applications. At the project's core is the High Level Intermediate Representation, or HLIR, for common compiler toolchains. HLIR is built ontop of the LLVM IR, using metadata to represent high-level parallel constructs.

barriers

beamer-templates

cem

Cactus Environment Machine

cem_coq

Coq implemenation of CEM with proof of correctness

cem_coq_icfp2018

cem_pearl

Cactus environment machine

cfa

CFA playground

cheetah

Source for the OpenCilk runtime system, based on Cheetah.

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.

coquille

Interactive theorem proving with Coq in vim.

cv

daf

Delayed Auditory Feedback With Visual Feedback

delayed-audio-feedback

A simple gui for running delayed audio feedback experiments

dissertation

domdag

dominator dag formalization work

ecp-st-car-public

The Exascale Computing Project Software Technologies Capability Assessment Report - Public Version

equites

High level, type-safe interface to Legion

fhpc18

flexflow

A distributed deep learning framework that supports flexible parallelization strategies.

hpccg

High Performance Computing Conjugate Gradients: The original Mantevo miniapp

ifl18

ivory

The Ivory EDSL

kitsune

LLVM + Tapir research project

kitsune_examples

kitten

Kitten Lightweight Kernel

kokkosgemm

l3dp

Lightweight 3d Printer Interface

legion

The Legion Parallel Programming System