9 results found Sort:
- Filter by Primary Language:
- Rust (3)
- C (2)
- Assembly (1)
- C++ (1)
- Shell (1)
- +
Mirror of https://gitlab.redox-os.org/redox-os/redox
Created
2015-04-20
3,799 commits to master branch, last one 3 days ago
The seL4 microkernel
Created
2014-07-18
4,597 commits to master branch, last one 4 days ago
Genode OS Framework
Created
2011-12-20
13,695 commits to master branch, last one a day ago
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Created
2017-01-04
2,024 commits to master branch, last one 14 days ago
RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
Created
2020-12-15
80 commits to main branch, last one 10 months ago
Neptune OS: A Windows NT personality for the seL4 microkernel
Created
2020-03-01
578 commits to master branch, last one 2 months ago
A curated set of links to formal methods involving provable code.
Created
2017-11-10
16 commits to master branch, last one 2 years ago
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
Created
2020-10-27
2,272 commits to main branch, last one 8 months ago
A Rust-based userland which also adds compile-time assurances to seL4 development.
Created
2019-01-08
706 commits to master branch, last one 2 years ago