A 64-bit capability-based microkernel for x86-64. A small C kernel,
with a no_std Rust core for the parts that must not go
wrong: capability checks, ELF parsing, cryptography and the random
number generator. It boots under QEMU and on real machines, installs
itself onto a disk, and gives you a login and a shell that runs GNU
coreutils and the Tiny C Compiler.
Nothing is granted for who you are.
That is the first rule of Horus. A task holds exactly the authority it
has been handed, and nothing for being root, being first or being
started by the kernel. Rights can be narrowed but never widened, and
revoking one reaches every copy made from it. Privilege has to be
earned, and the page tables enforce it.
- Status
- Research system, latest release
v0.4.1-alpha
- Last commit
- 2026-10-20
- Boots on
- x86-64 via GRUB, BIOS or UEFI, QEMU or real hardware
- Hardening
- SMEP, SMAP, kernel W^X, IOMMU-confined DMA, encrypted swap
- Licence
- MIT
Source on GitHub
Documentation
Known limitations
Horus has not been independently reviewed and its
cryptography is unaudited. Read the limitations before you rely on
it. Honesty is a security property too.
Client-side automation for Achaea,
the long-running text MUD, on the Mudlet
client. It tracks the game's GMCP state, works out what the character
can actually do at any moment, and drives curing, healing, hunting and
movement from that. Section 6 of the manual is for games; this one
takes them seriously.
- Last commit
- 2026-10-24
- Curing
- Per-balance action queue over a 133-affliction cure table
- Movement
- Self-driving area walker with no mapper dependency
- Combat
- PvP is opt-in only, and an ally can never be targeted
- Platform
- Mudlet 4.10 or later, Lua 5.1, Priest class for now
- Licence
- MIT
Source on GitHub
Documentation
A mobile-first web app that tells you whether a UK food product is
likely to contain added folic acid under the new mandatory
fortification rules, which apply in full from 13 December 2026.
Search by name or barcode, or scan one with your camera, and it shows
the exact ingredient text behind its verdict instead of asking you to
take its word for it.
The state has decided what goes into your bread. FolicCheck tells
you where it went, so what you eat stays your decision.
- Last commit
- 2026-08-14
- Verdicts
- A rules-based, unit-tested classifier that shows its evidence and hedges rather than guesses
- Data
- Product search and barcode lookup from Open Food Facts
- Runs as
- An installable TypeScript web app that works offline
- Licence
- MIT
Source on GitHub
General information, not medical advice. Always
check the label on the product itself.