Jakub Kuderski

  • GitHub
  • Location: Toronto, ON, Canada
Ecosystems: LLVM, C++, Python, Tensorflow, PyTorch, Cuda

Projects

iree

A retargetable MLIR-based machine learning compiler and runtime toolkit.

C++ - Released: 12 Sep 2019 - 2,492

shaderc

A collection of tools, libraries, and tests for Vulkan shader compilation.

C++ - Released: 06 Aug 2015 - 1,832

seahorn

SeaHorn Verification Framework

C - Released: 01 Mar 2015 - 437

mlir-www

SCSS - Released: 09 Dec 2019 - 58

TyDsa

Type-sensitive points-to analysis prototype in Datalog for an llvm-like language

Python - Released: 19 Feb 2018 - 6