2XS

Popular repositories Loading

1. pipcore pipcore Public

   Coq 18 2

2. smews smews Public

   Smart & Mobile Embedded Web Server

   C 13 19

3. digger digger Public

   Haskell 5

4. libpip libpip Public

   LibPip: library to embed PIP-related operations

   C 3 2

5. pip_edf_scheduler pip_edf_scheduler Public

   Coq 3

6. qemu-rp2040-pico qemu-rp2040-pico Public

   Experimental QEMU support for RP2040 / Raspberry Pi Pico, continuing Alex Bennée's RFC work

   C 2 1