Beast code in Giters

Ihor Kuz's repositories

Docker image for Barrelfish OS build tools

Language:MakefileMIT1 10

Introductory robotics curriculum

Language:HTMLCC-BY-4.0000

Component Architecture test suite and example apps.

Language:CNOASSERTION010

Virtual Machine build as a CAmkES component.

Language:C000

Capability Distribution Language tools for seL4

Language:Haskell000

Execute and control OS processes from Erlang/OTP

Language:C++NOASSERTION000

Scripts to install GHC and Cabal

Language:Shell010

Discord bot that manages RPG character initiatives

Language:PythonAGPL-3.0000

The seL4 microkernel

Language:CNOASSERTION000

Documentation for the seL4 DevKit

000

Tutorials for working with seL4 and/or CAmkES.

Language:CMakeNOASSERTION010

NOASSERTION010

This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials

Language:CNOASSERTION010

This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials-manifest

NOASSERTION010