GitHub / cheshire
Total Commits: 10
sosy-lab/cpachecker
Commits: 1,108
sosy-lab/java-smt
Commits: 493
DeepRec-AI/DeepRec
DeepRec is a high-performance recommendation deep learning framework based on TensorFlow. It is hosted in incubation in LF AI & Data Foundation.
Commits: 189
vmishenev/misynth
Commits: 31
sosy-lab/benchexec
Commits: 12
jax-ml/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Commits: 11
tensorflow/mlir-hlo
Commits: 10
tjingrant/sparse-llm-code
Commits: 7
NVIDIA/maxtext-jaxpp
Commits: 7
google/tsl
Commits: 5
jeromeku/triton-aot
Commits: 3
woct0rdho/triton-windows
Commits: 3
openai/triton
Commits: 3
triton-lang/triton
Commits: 3
keras-team/tf-keras
The TensorFlow-specific implementation of the Keras API, which was the default Keras from 2019 to 2023.
Commits: 1
trisycl/sycl
SYCL for Vitis: Experimental fusion of triSYCL with Intel SYCL oneAPI DPC++ up-streaming effort into Clang/LLVM
Commits: 1
NVIDIA/TransformerEngine
A library for accelerating Transformer models on NVIDIA GPUs, including using 8-bit floating point (FP8) precision on Hopper, Ada and Blackwell GPUs, to provide better performance with lower memory utilization in both training and inference.
Commits: 1
oneapi-src/syclomatic
Commits: 1
ROCm/rocMLIR
Commits: 1
llvm/llvm-project-staging
Staging repository for https://github.com/llvm/llvm-project. Used for official contributions to the LLVM project that LLVM contributors will collaboratively split up for regular patch review.
Commits: 1
llvm/llvm-project-staging
Staging repository for https://github.com/llvm/llvm-project. Used for official contributions to the LLVM project that LLVM contributors will collaboratively split up for regular patch review.
Commits: 1
llvm/llvm-project-release-prs
Repository for pull requests used for testing release branch backports in llvm/llvm-project
Commits: 1
compiler-research/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Commits: 1
ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Commits: 1
supercb/te_v1.13
Commits: 1
ajohnson-uoregon/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Commits: 1
ajohnson-uoregon/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Commits: 1
openhwgroup/corev-llvm-project
Commits: 1
altgr/camelus-testing-repo-bis
Commits: 1
flang-compiler/classic-flang-llvm-project
LLVM monorepo for integration with classic flang
Commits: 1
google/paxml
Pax is a Jax-based machine learning framework for training large scale models. Pax allows for advanced and fully configurable experimentation and parallelization, and has demonstrated industry leading model flop utilization rates.
Commits: 1
checkedc/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
Commits: 1
ultimate-pa/smtinterpol
Commits: 1
waydroid/android_external_llvm-project
Commits: 1
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Commits: 1