-
rptree Public
Realtime Process Tree
-
fors-kernel Public
Experimenting with kernel ideas
-
-
resman Public
A simple resource manager for helping people to not accidentally run experiments at the same time.
-
shared-memory-sgd Public
Forked from dcs-chalmers/shared-memory-sgdC++ GNU Affero General Public License v3.0 UpdatedApr 1, 2025 -
-
hacknotts.com Public
Forked from HackSocNotts/hacknotts.comHackNotts Website
MIT License UpdatedSep 23, 2024 -
neco Public
Forked from tidwall/necoConcurrency library for C (coroutines)
C MIT License UpdatedApr 10, 2024 -
-
lila Public
Forked from lichess-org/lila♞ lichess.org: the forever free, adless and open source chess server ♞
Scala GNU Affero General Public License v3.0 UpdatedFeb 15, 2024 -
-
-
-
dfsmaze Public
Depth-first-search based maze generator, with parameters that you can mess around with
C++ UpdatedNov 22, 2023 -
-
LemonOS Public
Forked from LemonOSProject/LemonOSThe Lemon Operating System
C++ BSD 2-Clause "Simplified" License UpdatedOct 25, 2023 -
-
mustard Public
A fairly basic kernel written in NASM and C
-
flux-kernel Public
A microkernel with emphasis on code readability and understandability. Primarily targetting x86-64.
C UpdatedJun 12, 2023 -
-
-
-
-
-
-
-
-
kvfs Public
A Linux filesystem that implements a key-value store.
-
microcontroller-workshop Public
Code from the HackSoc microcontroller workshop
C++ UpdatedDec 6, 2022 -