Pinned Repositories
InfoSecAssignment4
amber-testing-framework
This repository contains scripts to automatically generate amber tests for formatted input files along with examples of test cases
Amber-Testing-Framework
This repository contains scripts to automatically generate amber tests for formatted input files along with examples of test cases
ForwardProgress_TestGen
gpgpu-sim_distribution
GPGPU-Sim provides a detailed simulation model of contemporary NVIDIA GPUs running CUDA and/or OpenCL workloads. It includes support for features such as TensorCores and CUDA Dynamic Parallelism as well as a performance visualization tool, AerialVisoin, and an integrated energy model, GPUWattch.
mvfst
An implementation of the QUIC transport protocol.
VK-GL-CTS
Khronos Vulkan, OpenGL, and OpenGL ES Conformance Tests
Dream-Flight
AlloyForwardProgress
A repo for AlloyForwardProgress
SafeGuards
A proof of concept for an event guard-handling system (à la SPIN Operating System) with conflict checks.
LucasS98's Repositories
LucasS98/ForwardProgress_TestGen
LucasS98/Amber-Testing-Framework
This repository contains scripts to automatically generate amber tests for formatted input files along with examples of test cases
LucasS98/gpgpu-sim_distribution
GPGPU-Sim provides a detailed simulation model of contemporary NVIDIA GPUs running CUDA and/or OpenCL workloads. It includes support for features such as TensorCores and CUDA Dynamic Parallelism as well as a performance visualization tool, AerialVisoin, and an integrated energy model, GPUWattch.
LucasS98/mvfst
An implementation of the QUIC transport protocol.
LucasS98/VK-GL-CTS
Khronos Vulkan, OpenGL, and OpenGL ES Conformance Tests