# uw-unsat/hyperkernel

<https://repo.masters-masters.com/en/repos/uw-unsat/hyperkernel>

[Home](https://repo.masters-masters.com/en) › [uw-unsat](https://repo.masters-masters.com/en/owners/uw-unsat) › [hyperkernel](https://repo.masters-masters.com/en/repos/uw-unsat/hyperkernel)

uw-unsat/hyperkernel has 190 stars on GitHub. Its RepoMasters card: Prototype tier. Language: C.

| Field | Value |
| --- | --- |
| Owner | [uw-unsat](https://repo.masters-masters.com/en/owners/uw-unsat) |
| Stars | 190 |
| Forks | 27 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | None |
| Created | 2017 |
| Topics | hyperkernel, verification, kernel |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [uw-unsat/hyperkernel](https://github.com/uw-unsat/hyperkernel) |

## Repository

No description.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in C

- [MayerDaniel/the-one-wsl-bof · ★ 190 · C · Prototype](https://repo.masters-masters.com/en/repos/MayerDaniel/the-one-wsl-bof)
- [jackpoison-prog/RingOut · ★ 190 · C · Prototype](https://repo.masters-masters.com/en/repos/jackpoison-prog/RingOut)
- [Zexyen/Witch-Time · ★ 190 · C · Prototype](https://repo.masters-masters.com/en/repos/Zexyen/Witch-Time)
- [mgschwan/blensor · ★ 190 · C · Prototype](https://repo.masters-masters.com/en/repos/mgschwan/blensor)
- [mate-desktop/pluma · ★ 190 · C · Prototype](https://repo.masters-masters.com/en/repos/mate-desktop/pluma)
- [opensourcerouting/quagga · ★ 190 · C · Prototype](https://repo.masters-masters.com/en/repos/opensourcerouting/quagga)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.