9 results found Sort:

928
15.3k
mit
602
Mirror of https://gitlab.redox-os.org/redox-os/redox
Created 2015-04-20
3,877 commits to master branch, last one 2 days ago
681
4.8k
other
204
The seL4 microkernel
Created 2014-07-18
4,613 commits to master branch, last one about a month ago
256
1.1k
other
82
Genode OS Framework
Created 2011-12-20
13,727 commits to master branch, last one about a month ago
88
657
mit
51
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Created 2017-01-04
2,034 commits to master branch, last one 14 days ago
44
553
unknown
20
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 about a year ago
11
382
gpl-3.0
18
Neptune OS: A Windows NT personality for the seL4 microkernel
Created 2020-03-01
649 commits to master branch, last one 3 days ago
A curated set of links to formal methods involving provable code.
Created 2017-11-10
16 commits to master branch, last one 3 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 11 months ago
11
111
apache-2.0
8
A Rust-based userland which also adds compile-time assurances to seL4 development.
Created 2019-01-08
706 commits to master branch, last one 3 years ago