Certicore
An automatically formally verified page allocator, as a course project of Operating Systems
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Core Os Riscv | 180 | 3 years ago | 6 | mit | Rust | |||||
| 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online. | ||||||||||
| Beeos | 117 | a year ago | 2 | lgpl-3.0 | C | |||||
| A simple "Unix-like" kernel trying to be POSIX compliant | ||||||||||
| Sloba | 11 | 5 years ago | 1 | gpl-2.0 | C | |||||
| Stacking List Oriented Basic Architecture Allocator | ||||||||||
| Certicore | 5 | 4 years ago | gpl-2.0 | Assembly | ||||||
| An automatically formally verified page allocator, as a course project of Operating Systems | ||||||||||
Alternatives To CerticoreSelect To Compare
Alternative Project Comparisons
Popular Allocator Projects
Popular Qemu Projects
Popular Data Processing Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Assembly
Qemu
Racket
Allocator