dogear

enter for all results · esc to close

Straylight

github.comtool

A simple monolithic RISC-V operating system developed in Ada.

visit github.com ↗
0
sign in to dogear this
from
Ada/SPARK
added
2026-10-10
likes
0

similar

  1. yotroc github.com
    tool category #ada link ↗

    Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada.

  2. havk github.com
    tool category #ada link ↗

    x86-64 security-focused OS being created with SPARK.

  3. SweetAda github.com
    tool category #ada link ↗

    A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.

  4. SWC github.com
    tool category #rust link ↗

    super-fast TypeScript / JavaScript compiler

  5. 0x59616e/SteinsOS github.com
    tool category #rust link ↗

    An OS for armv8-a architecture.

  6. starrhorne/chip8-rust github.com
    tool category #rust link ↗

    chip8 emulator

Ada/SPARK › OS and Kernels: “A simple monolithic RISC-V operating system developed in Ada.”