-
einops Public
Forked from arogozhnikov/einopsFlexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)
Python MIT License UpdatedSep 13, 2024 -
tree-sitter-lean Public
Forked from Julian/tree-sitter-leanExperimental tree-sitter parser for the Lean (4) Theorem Prover
C MIT License UpdatedSep 1, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 1, 2024 -
-
openxla-benchmark Public
Forked from iree-org/iree-comparative-benchmarkPython Apache License 2.0 UpdatedApr 19, 2024 -
-
llvm-project Public
Forked from llvm/llvm-projectThe 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…
UpdatedMar 27, 2024 -
iree-samples Public
Forked from iree-org/iree-experimentalPython Apache License 2.0 UpdatedAug 14, 2023 -
dana Public
Forked from google/danaTest/benchmark regression and comparison system with dashboard
JavaScript Apache License 2.0 UpdatedAug 14, 2023 -
fuzvisor Public
A framework provides an interface to monitor and control fuzzers
-
community Public
Forked from openxla/communityStores documents and resources used by the OpenXLA developer community
Apache License 2.0 UpdatedMay 31, 2023 -
inference Public
Forked from mlcommons/inferenceReference implementations of MLPerf™ inference benchmarks
Python Other UpdatedApr 26, 2023 -
-
-
judge Public archive
Judge 13.2 - HypeX
-
iree-llvm-sandbox Public
Forked from iree-org/iree-llvm-sandboxPython Apache License 2.0 UpdatedMay 4, 2022 -
-
iree-llvm-fork Public
Forked from isabella232/iree-llvm-forkA fork of LLVM to carry temporary patches for the IREE project
Other UpdatedMar 18, 2022 -
furakus Public archive
High Performance HttpFlow Broker
-
-
-
dg Public
Forked from mchalupa/dg[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
C++ Other UpdatedMar 25, 2017 -
-
-
-
-
capstone Public
Forked from capstone-engine/capstoneCapstone disassembly/disassembler framework: Core (Arm, Arm64, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)
C Other UpdatedFeb 15, 2015 -
-
-