| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| mc-imperial/gpuverify | 43 | 0 | 0 | over 3 years ago | 0 | 12 | other | C# | ||
| GPUVerify: a Verifier for GPU Kernels | ||||||||||
| milouk/Sphinx-Beryllium | 23 | 0 | 0 | almost 5 years ago | 0 | 1 | other | C | ||
| Sphinx Custom Kernel for Pocophone F1 (Beryllium) | ||||||||||
| milouk/gcc-prebuilt-elf-toolchains | 17 | 0 | 0 | about 3 years ago | 0 | 1 | C | |||
| This repo contains Weekly GCC 11 builds for x86_64 hosts, targeted for bare-metal (ELF / kernel-only) AArch64 systems. | ||||||||||
| milouk/Sphinx-Dipper | 14 | 0 | 0 | almost 5 years ago | 0 | 1 | other | C | ||
| Sphinx Custom Kernel for Mi 8 (Dipper) | ||||||||||
| milouk/Sphinx-Bullhead | 10 | 0 | 0 | almost 7 years ago | 0 | 0 | other | C | ||
| Sphinx Custom Linux Kernel for Bullhead (Nexus 5X) | ||||||||||
