Repositories list

• logball

  Public
  A logging tool for QEMU Operating System development.

  Svelte

  •

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 20, 2025Dec 20, 2025

• bitsafe

  Public
  Go

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 16, 2025Dec 16, 2025

• asn1tools-ext

  Public
  ASN.1 parser, compiler and general swiss army knife

  compileridlasn1

  compileridlasn1

  Python

  •

  MIT License

  •00 forks•00 stars•22 issues•00 pull requests•Updated Dec 6, 2025Dec 6, 2025

• thetachip

  Public
  Typst

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 27, 2025Nov 27, 2025

• GNAT-FSF-builds

  Public
  Builds of the GNAT Ada compiler from FSF GCC releases

  Python

  •

  MIT License

  •2323 forks•00 stars•00 issues•00 pull requests•Updated Nov 18, 2025Nov 18, 2025

• pr_utils

  Public archive
  Ada

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 17, 2025Jun 17, 2025

• alr-staging

  Public archive
  private alire index, used as staging

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 13, 2025Jun 13, 2025

• ada-util

  Public archive
  Mirror of ada-util

  Ada

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 4, 2025Jun 4, 2025

• ada_rt_base

  Public archive
  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 3, 2025Jun 3, 2025

• archangel

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 28, 2025May 28, 2025

• logic-press

  Public
  Rust

  •

  GNU Lesser General Public License v2.1

  •00 forks•00 stars•00 issues•11 pull request•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

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 27, 2025Feb 27, 2025

• daedasm

  Public
  The Daedalus Dissassembly Framework

  00 forks•00 stars•00 issues•00 pull requests•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

  •00 forks•00 stars•00 issues•00 pull requests•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

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 31, 2024Dec 31, 2024

• devops

  Public
  Collection of StatePrisma devops

  Shell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 24, 2024Nov 24, 2024

• developer-docs

  Public
  Developer documents

  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 30, 2024Sep 30, 2024

• limine-binaries

  Public
  Our own binary releases of limine

  Shell

  •

  BSD 2-Clause "Simplified" License

  •00 forks•00 stars•00 issues•00 pull requests•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

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 17, 2024Sep 17, 2024