Ironclad-Project / GloireLinks
Mirror of codeberg's repository
☆160Updated 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☆31Updated this week
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆144Updated last week
- Moved to codeberg: https://codeberg.org/mintsuki/jinx☆57Updated 2 months ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆82Updated 4 years ago
- Moved to codeberg: https://codeberg.org/mintsuki/flanterm☆105Updated 2 months ago
- Operating System development experiment in Ada☆36Updated 4 years ago
- Public domain POSIX make☆132Updated 5 months ago
- The Keyronex Operating System☆78Updated 4 months ago
- nightly synced mirror☆77Updated last week
- Parallel Specification and Implementation Language☆41Updated 3 weeks ago
- The Callisto compiler of the 13th month, and other language extras☆62Updated last week
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆73Updated 2 months ago
- The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.☆63Updated 5 years ago
- HAMMER2 file system for NetBSD☆54Updated last week
- Paging operating system for a custom computer architecture☆91Updated 3 weeks ago
- nsport☆64Updated last year
- HAMMER2 file system for OpenBSD☆71Updated last week
- LLVM based GNAT compiler☆202Updated last week
- A simple UNIX-LIKE kernel☆56Updated 6 months ago
- x86-64 Operating System☆208Updated 3 weeks ago
- A collection of standard Unix utilities that is intended to provide maximum compatibility with traditional Unix while incorporating addi…☆41Updated 4 months ago
- Monolithic kernel, drivers and support libraries for x86_64, riscv64 and m68k.☆93Updated this week
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆50Updated this week
- An operating system kernel for RISC-V and AArch64 SBCs☆136Updated last year
- Chimera's core userland, based on FreeBSD☆102Updated 2 weeks ago
- The InitWare Suite of Middleware allows you to manage services and system resources as logical entities called units. Its main component …☆292Updated 10 months ago
- ☆23Updated this week
- A compiler and IDE for the Micron programming language - the Oberon with the power of C☆55Updated this week
- 9legacy, a continuation of Plan 9 from Bell Labs.☆96Updated 2 weeks ago
- XR/station emulator written in C with SDL.☆37Updated this week