Popular repositories Loading

1. Gklee Gklee Public

   GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

   C++ 33 10

2. kernel_filter_2d kernel_filter_2d Public

   an implementation of 2d image kernel filtering from https://en.wikipedia.org/wiki/Kernel_(image_processing)

   C++ 6 1

3. TaintAnalysis TaintAnalysis Public

   Groff 1 2

4. SESABench_II SESABench_II Public

   This is a copy of PengPengHub/SESABench, with a centralized Makefile build/test system built in

   Cuda 1

5. sail sail Public

   Forked from HappySeaFox/sail

   ⛵ The missing small and fast image decoding library for humans (not for machines).

   C 1

6. testspace testspace Public