-
cheriot-rtos Public
Forked from CHERIoT-Platform/cheriot-rtosThe RTOS components for the CHERIoT research platform
C++ MIT License UpdatedSep 16, 2025 -
cheriot-audit Public
Forked from CHERIoT-Platform/cheriot-auditAuditing tooling for CHEIRoT firmware images
C++ MIT License UpdatedOct 23, 2024 -
cheriot-llvm Public
Forked from CHERIoT-Platform/llvm-projectFork of LLVM adding CHERIoT, based on the CHERI LLVM fork
UpdatedFeb 12, 2024 -
docs Public
Forked from unikraft/docsThe front page and documentation for the Unikraft Open-Source Project.
MDX Other UpdatedSep 29, 2023 -
-
-
unikraft-meeting-notes Public
Forked from unikraft/meeting-notesArchive of Unikraft Technical Meetings.
UpdatedMay 23, 2023 -
unikraft Public
Forked from unikraft/unikraftUnikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
C Other UpdatedMay 8, 2023 -
-
verona Public
Forked from microsoft/veronaResearch programming language for concurrent ownership
C++ MIT License UpdatedAug 18, 2022 -
lib-lwip Public
Forked from unikraft/lib-lwipUnikraft port of the lwip network stack
C UpdatedNov 26, 2021 -
lib-tlsf Public
Forked from unikraft/lib-tlsfPort of TLSF for Unikraft, a general-purpose memory allocator
C UpdatedAug 9, 2021 -
lib-tinyalloc Public
Forked from unikraft/lib-tinyallocPort of thi.ng/tinyalloc (https://github.com/thi-ng/tinyalloc) for Unikraft, an allocator
C UpdatedJun 25, 2021 -
-
juliet Public
🌀 Lightweight static website generator
-
-
src-netbsd Public
Forked from cloudkernels/src-netbsdMirror of NetBSD sources useful with rump kernels
C UpdatedMar 13, 2021 -
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedMar 13, 2021 -
Lupine-Linux Public archive
Forked from hckuo2/Lupine-LinuxLinux in Unikernel Clothing
-
-
rumprun Public
Forked from nabla-containers/rumprun"Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend
C Other UpdatedJan 11, 2021 -
faad2 Public
Forked from knik0/faad2Freeware Advanced Audio (AAC) Decoder faad2 mirror
C Other UpdatedSep 7, 2019 -
-
rogmap Public archive
Lightweight roguelike map generator in pure C
-
libsndfile Public
Forked from libsndfile/libsndfileA C library for reading and writing sound files containing sampled audio data..
-
openjpeg Public
Forked from uclouvain/openjpegOfficial repository of the OpenJPEG project
C Other UpdatedDec 14, 2018 -
num2words Public
Forked from savoirfairelinux/num2wordsModules to convert numbers to words. 42 --> forty-two
Python Other UpdatedNov 16, 2018 -
-
PySolFC Public
Forked from shlomif/PySolFCAn awesome open source and portable collection of Solitaire games.
Python GNU General Public License v3.0 UpdatedJul 31, 2018 -
ring-project Public
Forked from savoirfairelinux/jami-projectAll-in-one Ring repository
Shell Other UpdatedJul 16, 2018
{{ message }}