Alternatives and similar repositories for Gloire

Users that are interested in Gloire are comparing it to the libraries listed below

• Ironclad-Project / Ironclad
  Mirror of codeberg's repository
  ☆40Updated this week
• zertovitch / hac
  HAC Ada Compiler - a small, quick Ada compiler fully in Ada
  ☆151Updated last month
• TheSledgeHammer / 2.11BSD_X44
  2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes
  ☆52Updated this week
• 9front / 9front
  nightly synced mirror
  ☆103Updated this week
• AdaCore / gnat-llvm
  LLVM based GNAT compiler
  ☆214Updated this week
• ajxs / cxos
  Operating System development experiment in Ada
  ☆37Updated 4 years ago
• mintsuki / flanterm
  Fast and reasonably complete (framebuffer) terminal emulator.
  ☆108Updated 2 months ago
• docandrew / CuBit
  General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
  ☆82Updated 4 years ago
• zyedidia / multiplix
  An operating system kernel for RISC-V and AArch64 SBCs
  ☆139Updated 2 years ago
• dancrossnyc / multics
  Source for the Multics operating system
  ☆124Updated 4 years ago
• aap / b
  B compiler
  ☆78Updated 5 months ago
• xrarch / mintia
  Paging operating system for a custom computer architecture
  ☆98Updated 3 months ago
• menix-os / menix
  Modular Unix-like 64-bit kernel
  ☆59Updated this week
• Alhadis / Research-Unix-v10
  Source code of Research Unix v10, released by The Unix Heritage Society.
  ☆43Updated 6 years ago
• Spydr06 / BCause
  BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.
  ☆82Updated 7 months ago
• rmyorston / pdpmake
  Public domain POSIX make
  ☆150Updated 2 months ago
• michaelforney / nine
  wine for 9
  ☆16Updated 3 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆31Updated 4 months ago
• davidgiven / cowgol
  A self-hosted Ada-inspired programming language for very small systems.
  ☆262Updated last month
• Keyronex / Keyronex
  The Keyronex Operating System
  ☆77Updated 3 months ago
• callisto-lang / compiler
  The Callisto compiler of the 13th month, and other language extras
  ☆68Updated 2 weeks ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆89Updated this week
• RavSS / HAVK
  An attempt at a minimalistic and secure operating system.
  ☆26Updated 4 years ago
• alkhimey / Ada_Kernel_Module_Framework
  Framework for writing Linux kernel modules in Ada
  ☆29Updated 7 years ago
• KaiNorberg / PatchworkOS
  A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be an educational and experimental pr…
  ☆238Updated this week
• UltraOS / Ultra
  A from-scratch kernel that aims to be (nearly) fully ABI compatible with the Linux kernel userland
  ☆15Updated 2 weeks ago
• netsurf-plan9 / nsport
  nsport
  ☆68Updated last year
• xrarch / xremu
  XR/station emulator written in C with SDL.
  ☆40Updated 2 weeks ago
• xrarch / mintia2
  ☆34Updated last week
• rochus-keller / OberonSystem3
  A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE
  ☆104Updated 4 months ago