Popular repositories Loading

1. br2_rpi_fast_reboot br2_rpi_fast_reboot Public

   External buildroot tree for boot time optimizations on the Raspberry Pi Zero W

   C 3

2. pdf2book pdf2book Public

   Generates a digital and printable book version of a pdf of slides.

   Python

3. docker-mods docker-mods Public

   Forked from linuxserver/docker-mods

   Documentation and Examples of base container modifications

   Dockerfile

4. k8-scalar k8-scalar Public

   Forked from k8-scalar/k8-scalar

   An easy-to-use and extensible workbench for comparing autoscalers for container-orchestrated services

   HTML

5. verifast verifast Public

   Forked from verifast/verifast

   Research prototype tool for modular formal verification of C and Java programs

   OCaml

6. core core Public

   Forked from home-assistant/core

   🏡 Open source home automation that puts local control and privacy first.

   Python