Skip to content
@Ironclad-Project

Ironclad Project

Organization for holding Ironclad and other Ironclad related projects, alongside Gloire, the testing distribution

Popular repositories Loading

  1. Gloire Gloire Public

    An OS built with the Ironclad kernel and GNU tools

    Shell 154 8

  2. Ironclad Ironclad Public

    Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

    Ada 27 4

  3. gcon gcon Public

    Gloire terminal emulator

    C 8 1

  4. ironclad-project.github.io ironclad-project.github.io Public

    Site of the ironclad project

    HTML 2 1

  5. util-ironclad util-ironclad Public

    Collection of system utilities for use with Ironclad, aimed to provide a similar solution to other system tools like util-linux, procps-ng, e2fsprogs, and others.

    C 1

  6. gloire-install gloire-install Public

    Gloire installer

    Shell 1

Repositories

Showing 7 of 7 repositories
  • posixtest Public
    C 0 GPL-3.0 0 0 0 Updated Mar 27, 2025
  • Ironclad Public

    Formally verified, real-time capable, UNIX-like operating system kernel written in SPARK and Ada.

    Ada 27 GPL-3.0 4 0 0 Updated Mar 26, 2025
  • Gloire Public

    An OS built with the Ironclad kernel and GNU tools

    Shell 154 GPL-3.0 8 1 1 Updated Mar 25, 2025
  • gcon Public

    Gloire terminal emulator

    C 8 GPL-3.0 1 0 0 Updated Mar 22, 2025
  • util-ironclad Public

    Collection of system utilities for use with Ironclad, aimed to provide a similar solution to other system tools like util-linux, procps-ng, e2fsprogs, and others.

    C 1 GPL-3.0 0 0 0 Updated Mar 22, 2025
  • ironclad-project.github.io Public

    Site of the ironclad project

    HTML 2 1 0 0 Updated Mar 22, 2025
  • gloire-install Public

    Gloire installer

    Shell 1 0 0 0 Updated Jan 29, 2025

Most used topics

Loading…