Pinned Repositories
ATermLib
The ATerm library extracted from mCRL2
clang-tool-out-of-tree
Demonstrate building Clang tools outside the LLVM tree
cuIdx
A single header CUDA C++ library to assist with linear indexing
FTSEmu
Emulating Distributed Fault Tolerant Termination Detection with Safra's Algorithm
kerma
Memory access info-gathering infrastructure for CUDA. Based on LLVM.
llvm-project
The 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 http://reviews.llvm.org.
vscode-ptx-syntax
Visual Studio Code extension with PTX assembly syntax support
uftrace
Function graph tracer for C/C++/Rust/Python
gkrls's Repositories
gkrls/cuIdx
A single header CUDA C++ library to assist with linear indexing
gkrls/FTSEmu
Emulating Distributed Fault Tolerant Termination Detection with Safra's Algorithm
gkrls/vscode-ptx-syntax
Visual Studio Code extension with PTX assembly syntax support
gkrls/clang-tool-out-of-tree
Demonstrate building Clang tools outside the LLVM tree
gkrls/llvm-project
The 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 http://reviews.llvm.org.
gkrls/kerma
Memory access info-gathering infrastructure for CUDA. Based on LLVM.
gkrls/zefi-scripts
gkrls/cpp-js-jsonrpc
Test JsonRPC between C++ and Javascript
gkrls/DAIET-Env
gkrls/Gallium-public
gkrls/kerma-experiments
The KERMA Project Experiments
gkrls/kerma-inputs
Collection of benchmarks used as inputs for Kerma
gkrls/kerma-view
Desktop client for Kerma
gkrls/mcrl2-perf
Measuring the performane of mCRL2
gkrls/mininet
Emulator for rapid prototyping of Software Defined Networks
gkrls/ncl-p4
gkrls/netcache-p4
NetCache in P4
gkrls/p4app
gkrls/penguinV
Simple and fast C++ image processing library with focus on heterogeneous systems
gkrls/rbfrt
Rust BFRT interface to configure Intel Tofino switches.
gkrls/sdn
Software Defined Networks -- Micro-book
gkrls/simple-netcfg-gen
gkrls/software-design-vu
Project template and specification for the Software Design course at the Vrije Universiteit Amsterdam
gkrls/switch-transpose
gkrls/test-torch-dist
gkrls/tofino-examples
gkrls/tofino-simple-switch
gkrls/uftrace
Function (graph) tracer for user-space
gkrls/vuhpdc-acn-labs
gkrls/xdp-tutorial
XDP tutorial