Skip to content

@abacus-rs abacus-rs

Change the repository type filter

All

    Repositories list

    6 repositories

    • abacus-registers

      Public
      A register interface to statically prevent driver device protocol violations.
      Rust
      •1•4•0•0•Updated Mar 17, 2026Mar 17, 2026

    • tock

      Public
      A secure embedded operating system for microcontrollers
      Rust
      •
      Other
      •851•0•0•0•Updated Mar 16, 2026Mar 16, 2026

    • asplos-artifact

      Public
      Shell
      •0•0•0•0•Updated Dec 24, 2025Dec 24, 2025

    • redox-base

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Dec 16, 2025Dec 16, 2025

    • redox

      Public
      Mirror of https://gitlab.redox-os.org/redox-os/redox
      Rust
      •
      MIT License
      •1k•0•0•0•Updated Dec 11, 2025Dec 11, 2025

    • redox-drivers

      Public
      Mirror of https://gitlab.redox-os.org/redox-os/drivers
      Rust
      •
      MIT License
      •31•0•0•0•Updated Dec 11, 2025Dec 11, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.