The Kotlin Programming Language.

A study playground about SAT solvers, their implementation and applications

Vulkan layers to measure and analyze graphics performance.

The ZRL Programming Language

Open Machine Learning Compiler Framework

Amber is a multi-API shader test framework

An Open Source Machine Learning Framework for Everyone

An OpenCL device simulator and debugger

Talvos is a dynamic-analysis framework and debugger for Vulkan/SPIR-V programs.

An open library of computer vision algorithms

Graphics API Debugger

A set of samples to illustrate Vulkan API on Android

Simple test app for clspv-built spv files.

cpptoml is a header-only library for parsing TOML

Clspv is a compiler for OpenCL C to Vulkan compute shaders

C++11 library for many-sorted logics

Source-to-source transformation to call native symbolic execution library and SMT Kit

Simple Theorem Prover, an efficient SMT solver for bitvectors

Csmith, a random generator of C programs

C-Reduce, a C and C++ program reducer

SwiftShader is a high-performance CPU-based implementation of the Vulkan graphics API. Its goal is to provide hardware independence for advanced 3D graphics.

**Deprecated repository** for Vulkan loader and validation layers

A shader script tester for Vulkan. Moved to https://gitlab.freedesktop.org/mesa/vkrunner

UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

SPIRV-Reflect is a lightweight library that provides a C/C++ reflection API for SPIR-V shader bytecode in Vulkan applications.

Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.

The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.