Manolis Ragkousis 's repositories
Guix-on-Hurd
A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]
ubuntu-secure-boot
Self-signed UEFI- and GRUB-based secure boot system for Ubuntu.
Arch-linux-pkgbuilds
My custom PKGBUILD files for Arch GNU/Linux
Language:Shell000
avr-projects
AVR Projects
Language:CGPL-3.0000
bcp
Broadcast Copy
Language:CGPL-3.0000
GPL-3.0000
clevis
Automated Encryption Framework
Language:ShellGPL-3.0000
Hurd
GNU Hurd libraries and servers.
Language:CGPL-2.0000
MaRagOS
My own simple OS from scratch.
Language:AssemblyMIT000
glibc-hurd
Clone of GNU Libc for the Hurd
gnumach
The version of the GNUMach Kernel I am using on my Hurd machines/vms.
Language:CGPL-2.0000
Ironman
The Ironman Web Server.
Language:CGPL-3.0000
katas
My personal Code Katas
Language:PythonBSD-3-Clause000
nix
Nix, the purely functional package manager
Language:C++LGPL-2.1000
Language:HTML000
sm64
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
Language:C000
tpm2-abrmd
TPM2 Access Broker & Resource Management Daemon implementing the TCG spec.
Language:CBSD-2-Clause000
tpm2-tools
The source repository for the TPM (Trusted Platform Module) 2 tools
Language:CBSD-3-Clause000
website
FOSDEM website
Language:PostScriptNOASSERTION000