Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Gpuverify | 43 | 2 years ago | 12 | other | C# | |||||
GPUVerify: a Verifier for GPU Kernels | ||||||||||
Sphinx Beryllium | 23 | 3 years ago | 1 | other | C | |||||
Sphinx Custom Kernel for Pocophone F1 (Beryllium) | ||||||||||
Gcc Prebuilt Elf Toolchains | 17 | a year ago | 1 | C | ||||||
This repo contains Weekly GCC 11 builds for x86_64 hosts, targeted for bare-metal (ELF / kernel-only) AArch64 systems. | ||||||||||
Sphinx Dipper | 14 | 3 years ago | 1 | other | C | |||||
Sphinx Custom Kernel for Mi 8 (Dipper) | ||||||||||
Sphinx Bullhead | 10 | 5 years ago | other | C | ||||||
Sphinx Custom Linux Kernel for Bullhead (Nexus 5X) |