Enabling the egocentric internets.

All

32 repositories

mimisbrunnr
Public
Mímisbrunnr associative filesystem
Rust
•0•0•0•0•Updated Mar 12, 2026Mar 12, 2026
vesper
Public
Single-address-space capability-based nanokernel
rust kernel operating-system
rust kernel operating-system capabilities armv8 nanokernel
Rust
•4•87•8•7•Updated Mar 10, 2026Mar 10, 2026
rust-osdev-homepage
Public
CSS
•
Apache License 2.0
•38•0•0•0•Updated Feb 15, 2026Feb 15, 2026
ram-map-viewer
Public
Viewer for RAM map
Rust
•
Blue Oak Model License 1.0.0
•0•1•0•0•Updated Feb 12, 2026Feb 12, 2026
gg
Public
GG - Gui for JJ
Rust
•
Apache License 2.0
•30•4•3•0•Updated Nov 28, 2025Nov 28, 2025
metta.systems
Public
Website.
blog decentralized blogging
blog decentralized blogging osdev metta giscus
SCSS
•0•1•0•0•Updated Nov 7, 2025Nov 7, 2025
scoop-for-ci
Public
Scoop manifests for use in CI/CD
scoop-bucket
scoop-bucket
0•0•0•0•Updated Oct 7, 2025Oct 7, 2025
aarch64-cpu
Public
Low level access to processors using the AArch64 execution state.
Rust
•
Apache License 2.0
•36•0•0•0•Updated Nov 14, 2024Nov 14, 2024
metta
Public
Metta OS
toolchain c-plus-plus osdev
toolchain c-plus-plus osdev operating-system bochs metta metta-os
C++
•
Boost Software License 1.0
•10•73•0•1•Updated Nov 10, 2024Nov 10, 2024
cargo-make
Public
Rust task runner and build tool.
Rust
•
Apache License 2.0
•146•0•0•0•Updated Oct 5, 2024Oct 5, 2024
ferros
Public
A Rust-based userland which also adds compile-time assurances to seL4 development.
Rust
•
Apache License 2.0
•11•0•0•0•Updated Jul 25, 2023Jul 25, 2023
armv8a-semihosting
Public
Rust no_std package for Semi Hosting on AArch64 bare metal targets
Rust
•1•0•0•0•Updated Dec 5, 2022Dec 5, 2022
armv8a-panic-semihosting
Public
Rust panic handler using Semi Hosting hooks
Rust
•1•0•0•0•Updated Oct 23, 2022Oct 23, 2022
aarch64-esr-decoder
Public
A utility for decoding aarch64 ESR register values.
Rust
•
Apache License 2.0
•21•0•0•0•Updated Sep 13, 2022Sep 13, 2022
buddy-alloc
Public
Buddy-alloc is a memory allocator for no-std Rust, used for embedded environments.
Rust
•6•1•0•1•Updated Sep 4, 2022Sep 4, 2022
binutils-gdb
Public
Clone of sourceware.org/gdb with patches
C
•
GNU General Public License v2.0
•0•0•0•0•Updated Mar 1, 2022Mar 1, 2022
serialport-rs
Public
Rust
•
Other
•1•0•0•0•Updated Feb 28, 2022Feb 28, 2022
tock
Public
A secure embedded operating system for microcontrollers
Rust
•
Other
•811•0•0•0•Updated Nov 30, 2020Nov 30, 2020
register-rs
Public
Unified interface for type-safe MMIO and CPU register access in Rust
Rust
•
Apache License 2.0
•11•0•0•0•Updated Nov 24, 2020Nov 24, 2020
llvm-toolchain
Public
Script to build freestanding LLVM toolchain
Shell
•1•1•0•0•Updated Feb 17, 2020Feb 17, 2020
dtb
Public
Device tree blob support
Rust
•2•0•0•0•Updated Dec 15, 2019Dec 15, 2019
cargo-binutils
Public
Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
Rust
•
Other
•58•0•0•0•Updated Nov 20, 2019Nov 20, 2019
cargo-project
Public
Library to retrieve information about a Cargo project
Rust
•
Apache License 2.0
•13•0•0•0•Updated Nov 15, 2019Nov 15, 2019
crev-proofs
Public
Crev proof repository
300•0•0•0•Updated Aug 24, 2019Aug 24, 2019
tock-registers
Public
Register interface from TockOS
osdev
osdev
Rust
•1•6•0•0•Updated Aug 17, 2019Aug 17, 2019
docker-cpp-ci
Public
Dockerfiles for C++ CI testing images
2•0•0•0•Updated Jun 5, 2018Jun 5, 2018
seL4
Public
The seL4 microkernel
C
•
Other
•752•0•0•0•Updated Jan 8, 2017Jan 8, 2017
libsss
Public archive
Structured Secure Streams - a successor to SST
c-plus-plus experimental communication
c-plus-plus experimental communication network peer-to-peer uia
C++
•0•11•15•0•Updated May 28, 2016May 28, 2016
hackpad
Public
Hackpad is a web-based realtime wiki
Java
•
Other
•519•0•0•0•Updated Aug 21, 2015Aug 21, 2015
homebrew-mettanode
Public
OSX Homebrew recipes for MettaNode builds
0•0•0•0•Updated Sep 24, 2014Sep 24, 2014