Repositories list

• pr_utils

  Public
  Ada

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 17, 2025Jun 17, 2025

• alr-staging

  Public
  private alire index, used as staging

  0•0•0•0•Updated Jun 13, 2025Jun 13, 2025

• ada-util

  Public
  Mirror of ada-util

  Ada

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 4, 2025Jun 4, 2025

• ada_rt_base

  Public
  Apache License 2.0

  •0•0•0•0•Updated Jun 3, 2025Jun 3, 2025

• archangel

  Public
  Rust

  •0•0•0•0•Updated May 28, 2025May 28, 2025

• logic-press

  Public
  Rust

  •

  GNU Lesser General Public License v2.1

  •0•0•0•1•Updated Apr 2, 2025Apr 2, 2025

• shf

  Public
  A cross-platform tool to share directories and files on localhost through a web platform; part of prismautils.

  Rust

  •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

• daedasm

  Public
  The Daedalus Dissassembly Framework

  0•0•0•0•Updated Feb 18, 2025Feb 18, 2025

• ferrux

  Public
  Ferrux aims to be a Linux binary compatible OS written as much as possible in Rust

  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Jan 17, 2025Jan 17, 2025

• libcrs

  Public
  Libc reimplementation in Rust plus some easy to use, requiring minimal changes safety augmentations

  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 31, 2024Dec 31, 2024

• devops

  Public
  Collection of StatePrisma devops

  Shell

  •

  MIT License

  •0•0•0•0•Updated Nov 24, 2024Nov 24, 2024

• developer-docs

  Public
  Developer documents

  0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

• logball

  Public
  A logging tool for QEMU Operating System development.

  Svelte

  •

  GNU Affero General Public License v3.0

  •0•0•0•0•Updated Sep 29, 2024Sep 29, 2024

• limine-binaries

  Public
  Our own binary releases of limine

  Shell

  •

  BSD 2-Clause "Simplified" License

  •0•0•0•0•Updated Sep 24, 2024Sep 24, 2024

• rt_init

  Public
  A simple macro easing the use of Rust's spin::lazy

  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Sep 17, 2024Sep 17, 2024