-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedFeb 27, 2024 -
xla Public
Forked from openxla/xlaA machine learning compiler for GPUs, CPUs, and ML accelerators
C++ Apache License 2.0 UpdatedFeb 9, 2024 -
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
TypeScript MIT License UpdatedJan 29, 2021 -
Halide Public
Forked from halide/Halidea language for image processing and computational photography
C++ Other UpdatedMar 4, 2017
{{ message }}