Pinned Repositories
argument-parser-cpp
BabelStream
STREAM, for lots of devices written in many programming models
bread-log
brew-log
clClibc
OpenCL implementation for C standard library.
dotfiles
gpu-fsm-validation-artifacts
Artifacts for my research on GPU acceleration of FSM Validation
partecl-codegen
A tool to generate OpenCL kernels from C programs for the purpose of testing them in parallel on the GPU.
partecl-runtime
A runtime application which executes test cases in parallel on the GPU threads.
regextofsm
wyaneva's Repositories
wyaneva/partecl-codegen
A tool to generate OpenCL kernels from C programs for the purpose of testing them in parallel on the GPU.
wyaneva/partecl-runtime
A runtime application which executes test cases in parallel on the GPU threads.
wyaneva/clClibc
OpenCL implementation for C standard library.
wyaneva/dotfiles
wyaneva/gpu-fsm-validation-artifacts
Artifacts for my research on GPU acceleration of FSM Validation
wyaneva/regextofsm
wyaneva/argument-parser-cpp
wyaneva/BabelStream
STREAM, for lots of devices written in many programming models
wyaneva/bread-log
wyaneva/brew-log
wyaneva/cleanedfsm
wyaneva/computecpp-sdk
Collection of samples, documentation and utilities for using ComputeCpp, Codeplay's beta SYCL implementation
wyaneva/klee
KLEE Symbolic Execution Engine
wyaneva/pancaketimer-android
wyaneva/pancaketimer-cpp
A little helper for the perfect pancakes.
wyaneva/pat-to-chart
wyaneva/r-tutorial
wyaneva/reveal.js
The HTML Presentation Framework
wyaneva/wyaneva.github.io