Skip to content
GitLab
Explore
Sign in
Register
Explore projects
Most starred
Trending
Active
Inactive
All
View kernel project
K
redox-os /
kernel
The Redox microkernel
39
Updated
Apr 21, 2025
39
71
4
45
Updated
Apr 21, 2025
View kernel project
K
bjorn3 /
kernel
The Redox microkernel
0
Updated
Apr 21, 2025
0
0
0
0
Updated
Apr 21, 2025
View relibc project
R
bjorn3 /
relibc
C Library in Rust for Redox and Linux (WIP)
0
Updated
Apr 21, 2025
0
0
0
0
Updated
Apr 21, 2025
View kernel project
K
Jacob Lorentzon /
kernel
The Redox microkernel
1
Updated
Apr 19, 2025
1
1
0
Updated
Apr 19, 2025
View bootloader project
B
redox-os /
bootloader
Redox OS Bootloader
6
Updated
Apr 19, 2025
6
22
2
6
Updated
Apr 19, 2025
View bootloader project
B
Andrey Turkin /
bootloader
Redox OS Bootloader
0
Updated
Apr 19, 2025
0
0
0
0
Updated
Apr 19, 2025
View kernel project
K
Andrey Turkin /
kernel
The Redox microkernel
0
Updated
Apr 19, 2025
0
0
0
0
Updated
Apr 19, 2025
View kernel project
K
Ibuki Omatsu /
kernel
The Redox microkernel
0
Updated
Apr 16, 2025
0
0
0
0
Updated
Apr 16, 2025
View kernel project
K
Darley Barreto /
kernel
The Redox microkernel
0
Updated
Apr 13, 2025
0
0
0
0
Updated
Apr 13, 2025
View bootloader project
B
bjorn3 /
bootloader
Redox OS Bootloader
0
Updated
Mar 30, 2025
0
0
0
0
Updated
Mar 30, 2025
View openssl project
O
redox-os /
openssl
0
Updated
Mar 13, 2025
0
5
0
0
Updated
Mar 13, 2025
View kernel project
K
Vincent Berthier /
kernel
The Redox microkernel
0
Updated
Mar 08, 2025
0
0
0
0
Updated
Mar 08, 2025
View kernel project
K
Leo Lundberg /
kernel
The Redox microkernel
0
Updated
Mar 07, 2025
0
0
0
0
Updated
Mar 07, 2025
View kernel project
K
wheatfox /
kernel
The Redox microkernel
0
Updated
Mar 07, 2025
0
0
0
0
Updated
Mar 07, 2025
View kernel project
K
Leny /
kernel
The Redox microkernel
0
Updated
Mar 05, 2025
0
0
0
0
Updated
Mar 05, 2025
View kernel project
K
zhaozhao /
kernel
The Redox microkernel
0
Updated
Mar 04, 2025
0
0
0
0
Updated
Mar 04, 2025
View redox-os-kernel project
R
Ayan Das /
redox-os-kernel
The Redox microkernel
0
Updated
Mar 02, 2025
0
0
0
0
Updated
Mar 02, 2025
View kernel project
K
Ron Williams /
kernel
The Redox microkernel
0
Updated
Feb 27, 2025
0
0
0
0
Updated
Feb 27, 2025
View kernel project
K
Matej Božić /
kernel
The Redox microkernel
0
Updated
Feb 25, 2025
0
0
0
0
Updated
Feb 25, 2025
View bootloader project
B
Stephen Andary /
bootloader
Redox OS Bootloader
0
Updated
Feb 13, 2025
0
0
0
0
Updated
Feb 13, 2025
Prev
Next