Skip to content
Change the repository type filter

All

    Repositories list

    • nanvix

      Public
      Microkernel-Based Research Operating System
      Rust
      MIT License
      86130172Updated Nov 27, 2024Nov 27, 2024
    • kernel

      Public
      Research Operating System Kernel
      Rust
      MIT License
      96171Updated Nov 25, 2024Nov 25, 2024
    • microvm

      Public
      Ultra-Lightweight Virtual Machine that Runs the Nanvix Operating System
      Rust
      MIT License
      0200Updated Nov 25, 2024Nov 25, 2024
    • build

      Public
      Build System for the Nanvix Operating System
      Shell
      MIT License
      0021Updated Nov 20, 2024Nov 20, 2024
    • .github

      Public
      0000Updated Nov 7, 2024Nov 7, 2024
    • nvx

      Public archive
      Runtime System of the Nanvix Operating System
      Rust
      MIT License
      02100Updated Sep 25, 2024Sep 25, 2024
    • kcall

      Public archive
      Kernel Call Interface of the Nanvix Operating System
      Rust
      MIT License
      0100Updated Sep 19, 2024Sep 19, 2024
    • wamr

      Public
      WebAssembly Micro Runtime (WAMR)
      C
      Apache License 2.0
      628000Updated Sep 14, 2024Sep 14, 2024
    • sys

      Public archive
      Low-level System Library of the Nanvix Operating System
      Rust
      MIT License
      0000Updated Sep 8, 2024Sep 8, 2024
    • allocator

      Public archive
      Memory Allocator for no_std Rust Systems
      Rust
      MIT License
      0000Updated Sep 5, 2024Sep 5, 2024
    • slab

      Public archive
      Slab Allocator
      Rust
      MIT License
      0000Updated Sep 5, 2024Sep 5, 2024
    • bitmap

      Public archive
      A Bitmap That Lives on Top of Either a Rust-Managed or User-Managed Memory
      Rust
      MIT License
      0000Updated Sep 5, 2024Sep 5, 2024
    • raw-array

      Public archive
      Array Abstraction on Top of Either a Rust-Managed or User-Managed Memory
      Rust
      MIT License
      0000Updated Sep 5, 2024Sep 5, 2024
    • error

      Public archive
      Error Codes for POSIX Systems
      Rust
      MIT License
      0000Updated Sep 5, 2024Sep 5, 2024
    • arch

      Public
      A Rust Library to Program Hardware Architectures
      Rust
      MIT License
      0020Updated Sep 5, 2024Sep 5, 2024
    • Legacy Version of the Nanvix Operating System
      C
      GNU General Public License v3.0
      0150Updated Aug 4, 2024Aug 4, 2024
    • List of Publications on Nanvix
      0100Updated Nov 26, 2022Nov 26, 2022
    • people

      Public archive
      List of Contributors to Nanvix
      3000Updated Mar 16, 2022Mar 16, 2022
    • optimsoc

      Public archive
      Tweaked OpTiMSoC Platform for Nanvix
      C
      Other
      22011Updated Jan 7, 2020Jan 7, 2020