-
erlexec Public
Forked from saleyn/erlexecExecute and control OS processes from Erlang/OTP
C++ Other UpdatedDec 1, 2023 -
seL4-DevKit-Doc Public
Forked from sel4-cap/OBSOLETE-seL4-DevKit-DocDocumentation for the seL4 DevKit
UpdatedFeb 23, 2023 -
aws-robomaker-robotics-curriculum Public
Forked from aws-robotics/aws-robomaker-robotics-curriculumIntroductory robotics curriculum
HTML Creative Commons Attribution 4.0 International UpdatedJan 6, 2022 -
initbot Public
Forked from stefangotz/initbotDiscord bot that manages RPG character initiatives
Python GNU Affero General Public License v3.0 UpdatedNov 8, 2021 -
camkes Public
Forked from seL4/camkesComponent Architecture test suite and example apps.
-
-
capdl Public
Forked from seL4/capdlCapability Distribution Language tools for seL4
Haskell UpdatedJun 17, 2021 -
-
sel4-tutorials Public
Forked from seL4/sel4-tutorialsTutorials for working with seL4 and/or CAmkES.
CMake Other UpdatedSep 29, 2018 -
sel4-tutorials-source-manifest Public
Forked from SEL4PROJ/sel4-tutorials-source-manifestThis repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials-manifest
Other UpdatedApr 19, 2018 -
sel4-tutorials-source Public
Forked from SEL4PROJ/sel4-tutorials-sourceThis repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials
C Other UpdatedApr 18, 2018 -
docker-sel4-camkes Public
Forked from brb/docker-barrelfishDocker image for Barrelfish OS build tools
-
GHC-Cabal Public
Forked from BertrandBev/GHC-CabalScripts to install GHC and Cabal
Shell UpdatedJun 3, 2015 -
camkes-vm Public
Forked from seL4/camkes-vmVirtual Machine build as a CAmkES component.
C UpdatedFeb 10, 2015
{{ message }}