Ironclad-Project / GloireLinks
Mirror of codeberg's repository
☆169Updated 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☆41Updated last week
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆157Updated 2 weeks ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆83Updated 4 years ago
- nightly synced mirror☆113Updated this week
- Operating System development experiment in Ada☆37Updated 5 years ago
- An operating system kernel for RISC-V and AArch64 SBCs☆139Updated 2 years ago
- LLVM based GNAT compiler☆216Updated 2 weeks ago
- Fast and reasonably complete (framebuffer) terminal emulator.☆109Updated 4 months ago
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆52Updated last week
- ☆42Updated 2 weeks ago
- ☆42Updated last month
- Source code of Research Unix v10, released by The Unix Heritage Society.☆43Updated 6 years ago
- The Oberon+ Programming Language Specification☆104Updated 2 years ago
- A from-scratch kernel that aims to be (nearly) fully ABI compatible with the Linux kernel userland☆15Updated last month
- Public domain POSIX make☆152Updated last month
- Paging operating system for a custom computer architecture☆98Updated 2 weeks ago
- XR/station emulator written in C with SDL.☆41Updated last month
- Source for the Multics operating system☆127Updated 4 years ago
- Framework for writing Linux kernel modules in Ada☆29Updated 7 years ago
- The Callisto compiler of the 13th month, and other language extras☆76Updated 3 weeks ago
- A hobby operating system written in Zig & C, a modification of some UNIX ideas.☆137Updated 9 months ago
- A collection of standard Unix utilities that is intended to provide maximum compatibility with traditional Unix while incorporating addi…☆47Updated this week
- Modular Unix-like 64-bit kernel☆64Updated last week
- Ada Bare Bones OS development tutorial source code☆89Updated 9 years ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆105Updated 5 months ago
- An experiment in language design and compiler building.☆17Updated last year
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆83Updated 3 weeks ago
- Experimental package manager for 9front☆14Updated 6 years ago
- Official mirror of the Muen Separation Kernel repository☆91Updated 2 weeks ago
- The Keyronex Operating System☆78Updated this week