Skip to content
View stelleg's full-sized avatar

Block or report stelleg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • C++ 1 Updated Sep 16, 2024
  • llvm-project Public

    Forked from 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 https://reviews.llvm.org.

    C++ Updated Sep 16, 2024
  • FlexFlow Public

    Forked from flexflow/FlexFlow

    A distributed deep learning framework that supports flexible parallelization strategies.

    C++ Apache License 2.0 Updated Aug 20, 2024
  • cheetah Public

    Forked from OpenCilk/cheetah

    Source for the OpenCilk runtime system, based on Cheetah.

    C++ Other Updated Jul 31, 2024
  • reductions Public

    C++ 1 Updated Jun 19, 2024
  • aicgtalk Public

    TeX Updated Mar 13, 2024
  • Interactive theorem proving with Coq in vim.

    Vim Script ISC License Updated Feb 7, 2024
  • cem Public

    Cactus Environment Machine

    Haskell Updated Jan 30, 2024
  • domdag Public

    dominator dag formalization work

    TeX 3 Updated Jan 26, 2024
  • piless Public

    Haskell Updated Nov 29, 2023
  • tapir-hs Public

    Haskell 2 Updated Oct 12, 2023
  • qthreads Public

    Forked from sandialabs/qthreads

    Lightweight locality-aware user-level threading runtime.

    C Other Updated Apr 18, 2023
  • talk-2-22 Public

    TeX Updated Mar 4, 2022
  • Monorepo for the OpenCilk project. Under development. Runtime "sold" separately.

    C++ Other Updated Oct 27, 2021
  • The Exascale Computing Project Software Technologies Capability Assessment Report - Public Version

    TeX BSD 2-Clause "Simplified" License Updated Oct 15, 2021
  • libomp_fib Public

    C 1 1 Updated Aug 19, 2021
  • ROCm Public

    Forked from ROCm/ROCm

    ROCm - Open Source Platform for HPC and Ultrascale GPU Computing

    Updated Apr 21, 2021
  • TeX Updated Feb 24, 2021
  • cv Public

    TeX Updated Feb 24, 2021
  • A tool and a library for bi-directional translation between SPIR-V and LLVM IR

    LLVM Other Updated Dec 18, 2020
  • kokkosgemm Public

    C++ Updated Dec 7, 2020
  • tlc Public

    tensor language compiler

    Haskell Updated Sep 2, 2020
  • llvm-hs Public

    Forked from llvm-hs/llvm-hs

    Haskell bindings for LLVM

    LLVM Updated Aug 29, 2020
  • Grand Central M4 Arduino Makefile

    C Updated Apr 19, 2020
  • HPCCG Public

    Forked from Mantevo/HPCCG

    High Performance Computing Conjugate Gradients: The original Mantevo miniapp

    C++ BSD 3-Clause "New" or "Revised" License Updated Mar 19, 2020
  • taco Public

    Forked from tensor-compiler/taco

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

    C++ MIT License Updated Mar 19, 2020
  • Shell Updated Mar 19, 2020
  • MPI.jl Public

    Forked from JuliaParallel/MPI.jl

    MPI wrappers for Julia

    Julia The Unlicense Updated Jan 22, 2020
  • TeX Updated May 22, 2019
  • Tapir-Clang Public

    Forked from wsmoses/Tapir-Clang

    Clang frontend to Tapir Compiler, includes implementation of Cilk language in frontend

    C++ Other Updated May 17, 2019