Ironclad-Project / GloireLinks
Mirror of codeberg's repository
☆158Updated this week
Alternatives and similar repositories for Gloire
Users that are interested in Gloire are comparing it to the libraries listed below
Sorting:
- Mirror of codeberg's repository☆35Updated last week
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆151Updated this week
- nightly synced mirror☆92Updated this week
- Operating System development experiment in Ada☆37Updated 4 years ago
- LLVM based GNAT compiler☆204Updated this week
- An operating system kernel for RISC-V and AArch64 SBCs☆137Updated 2 years ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆83Updated 4 years ago
- Fast and reasonably complete (framebuffer) terminal emulator.☆108Updated last month
- Paging operating system for a custom computer architecture☆97Updated 2 months ago
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆52Updated this week
- Modular 64-bit kernel written in Rust☆52Updated this week
- 🪄 The *magical* build system and package manager☆61Updated this week
- The Keyronex Operating System☆77Updated 2 months ago
- The Callisto compiler of the 13th month, and other language extras☆68Updated last month
- XR/station emulator written in C with SDL.☆39Updated 3 weeks ago
- Very minimalistic UEFI boot menu / kernel bootloader☆32Updated 3 months ago
- A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology☆132Updated 6 months ago
- A from-scratch kernel that aims to be (nearly) fully ABI compatible with the Linux kernel userland☆13Updated last week
- Community site for microkernel projects.☆30Updated 7 months ago
- Public domain POSIX make☆146Updated last month
- wine for 9☆16Updated 2 years ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆79Updated 6 months ago
- ☆33Updated last week
- Command-line tool from the Alire project and supporting library☆347Updated this week
- nsport☆67Updated last year
- A self-hosted Ada-inspired programming language for very small systems.☆262Updated last week
- The InitWare Suite of Middleware allows you to manage services and system resources as logical entities called units. Its main component …☆296Updated last year
- HAMMER2 file system for NetBSD☆56Updated last month
- B compiler☆75Updated 3 months ago
- The Oberon+ Programming Language Specification☆101Updated 2 years ago