Popular repositories Loading

1. idris-rts idris-rts Public

   The Idris RTS ported to the seL4 microkernel

   C 4

2. sel4-idris-apps sel4-idris-apps Public

   Example of Idris applications running on the seL4 microkernel

   Idris 4

3. sel4-idris-manifest sel4-idris-manifest Public

   Project to build Idris applications on seL4

   4

4. libsel4-idris-ffi libsel4-idris-ffi Public

   An Idris FFI to the libsel4 library

   Idris 3

5. bare-metal-idris-apps bare-metal-idris-apps Public

   Idris apps that run on bare-metal

   Idris 2

6. bare-metal-idris-drivers bare-metal-idris-drivers Public

   Drivers written in Idris for bare-metal apps

   Idris 2