Skip to content

@metta-systems Enabling the egocentric internets.

Change the repository type filter

All

    Repositories list

    28 repositories

    • aarch64-cpu

      Public
      Low level access to processors using the AArch64 execution state.
      Rust
      •
      Apache License 2.0
      •26•0•0•0•Updated Nov 14, 2024Nov 14, 2024

    • vesper

      Public
      Single-address-space capability-based nanokernel
      operating-systemcapabilitiesarmv8nanokernelrustkernel
      Rust
      •4•75•9•10•Updated Nov 14, 2024Nov 14, 2024

    • metta

      Public
      Metta OS
      osdevoperating-systemtoolchainc-plus-plusbochsmettametta-os
      C++
      •
      Boost Software License 1.0
      •11•68•0•1•Updated Nov 10, 2024Nov 10, 2024

    • metta.systems

      Public
      Website.
      blogdecentralizedbloggingosdevmetta
      CSS
      •0•1•1•0•Updated Nov 9, 2024Nov 9, 2024

    • cargo-make

      Public
      Rust task runner and build tool.
      Rust
      •
      Apache License 2.0
      •127•0•0•0•Updated Oct 5, 2024Oct 5, 2024

    • scoop-for-ci

      Public
      Scoop manifests for use in CI/CD
      scoop-bucket
      0•0•0•0•Updated Jul 29, 2023Jul 29, 2023

    • 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

    • rust-osdev-homepage

      Public
      CSS
      •
      Apache License 2.0
      •34•0•0•0•Updated Feb 9, 2023Feb 9, 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

    • aarch64-esr-decoder

      Public
      A utility for decoding aarch64 ESR register values.
      Rust
      •
      Apache License 2.0
      •16•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
      •7•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
      •701•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
      •10•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
      •46•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
      275•0•0•0•Updated Aug 24, 2019Aug 24, 2019

    • tock-registers

      Public
      Register interface from TockOS
      osdev
      Rust
      •1•5•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
      •674•0•0•0•Updated Jan 8, 2017Jan 8, 2017

    • libsss

      Public archive
      Structured Secure Streams - a successor to SST
      communicationnetworkpeer-to-peerc-plus-plusexperimentaluia
      C++
      •0•11•15•0•Updated May 28, 2016May 28, 2016

    • hackpad

      Public
      Hackpad is a web-based realtime wiki
      Java
      •
      Other
      •528•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

    • libssu-qt4

      Public
      Qt4 wrappers for libssu
      C++
      •0•0•0•0•Updated Nov 6, 2013Nov 6, 2013

    • mettasui

      Public
      Metta Semantic User Interface - where everything has meaning down to the lowest level
      0•0•0•0•Updated Oct 9, 2013Oct 9, 2013