Skip to content

@metta-systems Enabling the egocentric internets.

Change the repository type filter

All

    Repositories list

    32 repositories

    • mimisbrunnr

      Public
      Mímisbrunnr associative filesystem
      Rust
      •0•0•0•0•Updated May 4, 2026May 4, 2026

    • vesper

      Public
      Single-address-space capability-based nanokernel
      rustkerneloperating-system
      rustkerneloperating-systemcapabilitiesarmv8nanokernel
      Rust
      •4•88•8•8•Updated Mar 17, 2026Mar 17, 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•7•0•0•Updated Feb 12, 2026Feb 12, 2026

    • gg

      Public
      GG - Gui for JJ
      Rust
      •
      Apache License 2.0
      •41•4•3•0•Updated Nov 28, 2025Nov 28, 2025

    • metta.systems

      Public
      Website.
      blogdecentralizedblogging
      blogdecentralizedbloggingosdevmettagiscus
      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
      •38•0•0•0•Updated Nov 14, 2024Nov 14, 2024

    • metta

      Public
      Metta OS
      toolchainc-plus-plusosdev
      toolchainc-plus-plusosdevoperating-systembochsmettametta-os
      C++
      •
      Boost Software License 1.0
      •10•72•0•1•Updated Nov 10, 2024Nov 10, 2024

    • cargo-make

      Public
      Rust task runner and build tool.
      Rust
      •
      Apache License 2.0
      •144•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
      •824•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
      •59•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
      301•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
      •759•0•0•0•Updated Jan 8, 2017Jan 8, 2017

    • libsss

      Public archive
      Structured Secure Streams - a successor to SST
      c-plus-plusexperimentalcommunication
      c-plus-plusexperimentalcommunicationnetworkpeer-to-peeruia
      C++
      •0•11•15•0•Updated May 28, 2016May 28, 2016

    • hackpad

      Public
      Hackpad is a web-based realtime wiki
      Java
      •
      Other
      •521•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.