Popular repositories Loading

1. enhanced_read_write_lock enhanced_read_write_lock Public

   Increases concurrency over standard Read-Write lock in Java

   Java

2. producer_consumer_actors producer_consumer_actors Public

   Solution to Producer-Consumer problem using Actors

   Scala

3. lionsos lionsos Public

   Forked from au-ts/lionsos

   A secure, fast, and adaptable OS based on the seL4 microkernel

   C

4. sddf sddf Public

   Forked from au-ts/sddf

   A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

   C