Popular repositories Loading

1. genode genode Public

   Forked from genodelabs/genode

   EalánOS - A prototype implementation of the MxKernel architecture using the Genode OS Framework

   C++ 4

2. .vim .vim Public

   Configuration files and plugins for vim

   1

3. luakit luakit Public

   Configuraion for the luakit browser

   Lua 1

4. mini-os mini-os Public

   C 2

5. NOVA NOVA Public

   Forked from alex-ab/NOVA

   NOVA Microhypervisor

   C++

6. mxtasking mxtasking Public

   Forked from jmuehlig/mxtasking

   Task-based framework for automatic synchronization and memory prefetching. Genode OS port.

   C++