delcypher/amd-app-sdk-docker
A DockerFile for building a Docker container containing the AMD APP SDK (used to run OpenCL 1.2 applications)
Public GitHub Catalog
Discovered Oct 2, 2026
delcypher / gpuverify-docker
A DockerFile and other bits to build a GPUVerify docker container
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#25891413GitHub System ID
delcypherOrganization / User
PublicVisibility
ActiveCatalog Status
More from delcypher
delcypher/klee.github.io
Public repository.
delcypher/boogaloo-docker
DockerFile for building boogaloo
delcypher/nunitv2
Public repository.