Home Original page

Asha Operating System

Skip to content

Navigation Menu

Sign in

Appearance settings

@asha-os

Pinned Loading

  1. 🪐| A JIT-native operating system with formally verified programs

    Rust 4

Repositories

Type
Select type

Language
Sort
Select order

Showing 3 of 3 repositories

  • asha Public

    🪐| A JIT-native operating system with formally verified programs

    asha-os/asha’s past year of commit activity

    Rust

    4

    0

    0 0

    Updated Apr 4, 2026

  • asha-os/textwrap’s past year of commit activity

    Rust 0 MIT

    50 0 0

    Updated Mar 31, 2026

  • asha-os/cstree’s past year of commit activity

    Rust 0 Apache-2.0

    8 0 0

    Updated Mar 10, 2026

Most used topics

Loading…