Pinned Loading

1. lmsel4/meta lmsel4/meta Public

   Compatibility layer for porting linux kernel modules to seL4

   C 1

2. Distributed-EPFL/drop Distributed-EPFL/drop Public archive

   Rust 4 2

3. libratbag/libratbag libratbag/libratbag Public

   A DBus daemon to configure input devices, mainly high-end and gaming mice

   C 2.1k 258

4. fwupd/fwupd fwupd/fwupd Public

   A system daemon to allow session software to update firmware

   C 2.9k 441

5. Distributed-EPFL/murmur Distributed-EPFL/murmur Public archive

   An implementation of probabilistic broadcast using Erdös-Rényi gossip

   Rust 2

6. Distributed-EPFL/sieve Distributed-EPFL/sieve Public archive

   An implementation of probabilistic consistent broadcast

   Rust 1