OpenAI Triton backend for Intel® GPUs

oneAPI - Data Parallel C++ course for students

Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.

Oh my tmux! My self-contained, pretty & versatile tmux configuration made with 💛🩷💙🖤❤️🤍

Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous progra…

Compute Benchmarks for oneAPI Level Zero and OpenCL™ Driver

SYCL Benchmark Suite

Loop invariant generation with LLMs

SYCL Academy, a set of learning materials for SYCL heterogeneous programming

C++11 metaprogramming library

Alexa Skill that provides turn based conversations with an AI LLM. Bringing AI to your Alexa, because Amazon doesn't.

MetaCall: The ultimate polyglot programming experience.

LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applications at the LLVM IR level. Please refer to the paper below…

JSON parser and generator for C/C++ with scanf/printf like interface. Targeting embedded systems.

Simple implementation of VGG16 on MNIST Dataset using Keras.

ETH Robustness Analyzer for Deep Neural Networks

Work on my master thesis doing binary rewriting and code generation

A set of libraries and tools for building reliable asynchronous software.

Research programming language for concurrent ownership

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

SKI virtual machine for testing concurrency bugs

SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.