Pinned Loading

1. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C 1

2. seL4emu-src seL4emu-src Public

   Emulating the seL4 system on Linux

   C 1

3. incubator-nuttx incubator-nuttx Public

   Forked from apache/nuttx

   Apache NuttX is a mature, real-time embedded operating system (RTOS)

   C

4. libdatachannel libdatachannel Public

   Forked from paullouisageneau/libdatachannel

   C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets

   C++

5. ez-patch ez-patch Public

   A simple tool for managing, collecting and applying your patches in a much more convinient way

   Python