Giters
Jaebaek Seo (jaebaek)

jaebaek

Geek Repo

34

followers

0

following

75

stars

Company:Google

Location:Kirkland, WA, US

Home Page:https://jaebaek.github.io/

Github PK Tool:Github PK Tool

Jaebaek Seo's starred repositories

kotlin

The Kotlin Programming Language.

Language:KotlinStargazers:48954Issues:0Issues:0

kaktusat

A study playground about SAT solvers, their implementation and applications

Language:C++License:MITStargazers:3Issues:0Issues:0

vulkan-performance-layers

Vulkan layers to measure and analyze graphics performance.

Language:C++License:Apache-2.0Stargazers:51Issues:0Issues:0

zrlc

The ZRL Programming Language

Language:OCamlLicense:Apache-2.0Stargazers:12Issues:0Issues:0

tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

Language:PythonLicense:Apache-2.0Stargazers:11650Issues:0Issues:0

amber

Amber is a multi-API shader test framework

Language:C++License:Apache-2.0Stargazers:193Issues:0Issues:0

tensorflow

An Open Source Machine Learning Framework for Everyone

Language:C++License:Apache-2.0Stargazers:185782Issues:0Issues:0

Oclgrind

An OpenCL device simulator and debugger

Language:C++License:NOASSERTIONStargazers:346Issues:0Issues:0

talvos

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

Language:C++License:BSD-3-ClauseStargazers:73Issues:0Issues:0

vlfeat

An open library of computer vision algorithms

Language:CLicense:BSD-2-ClauseStargazers:1593Issues:0Issues:0

gapid

Graphics API Debugger

Language:GoLicense:Apache-2.0Stargazers:2201Issues:0Issues:0

android-vulkan-tutorials

A set of samples to illustrate Vulkan API on Android

Language:C++Stargazers:855Issues:0Issues:0

ClspvTest

Simple test app for clspv-built spv files.

Language:C++Stargazers:3Issues:0Issues:0

vulkan_test_applications

Language:C++License:Apache-2.0Stargazers:2Issues:0Issues:0

cpptoml

cpptoml is a header-only library for parsing TOML

Language:C++License:MITStargazers:582Issues:0Issues:0

clspv

Clspv is a compiler for OpenCL C to Vulkan compute shaders

Language:LLVMLicense:Apache-2.0Stargazers:606Issues:0Issues:0

smt-kit

C++11 library for many-sorted logics

Language:C++License:NOASSERTIONStargazers:40Issues:0Issues:0

native-symbolic-execution-clang

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

Language:C++Stargazers:32Issues:0Issues:0

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

Language:C++License:NOASSERTIONStargazers:508Issues:0Issues:0

csmith

Csmith, a random generator of C programs

Language:C++License:NOASSERTIONStargazers:1007Issues:0Issues:0

creduce

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

Language:C++License:NOASSERTIONStargazers:1250Issues:0Issues:0

swiftshader

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

Language:C++License:Apache-2.0Stargazers:2124Issues:0Issues:0

Vulkan-LoaderAndValidationLayers

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

Language:C++License:Apache-2.0Stargazers:414Issues:0Issues:0

vkrunner

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

Language:CLicense:NOASSERTIONStargazers:43Issues:0Issues:0

llvm-clang-samples

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

Language:C++License:UnlicenseStargazers:1186Issues:0Issues:0

DirectXShaderCompiler

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

Language:C++License:NOASSERTIONStargazers:3060Issues:0Issues:0

SPIRV-Reflect

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

Language:CLicense:Apache-2.0Stargazers:680Issues:0Issues:0

glslang

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

Language:C++License:NOASSERTIONStargazers:3000Issues:0Issues:0

assimp

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

Language:C++License:NOASSERTIONStargazers:10784Issues:0Issues:0

Vulkan

C++ examples for the Vulkan graphics API

Language:GLSLLicense:MITStargazers:10234Issues:0Issues:0