Popular repositories Loading

1. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   SWIG

2. church-windows-reports church-windows-reports Public

   Create custom financial reports with data dumped from Church Windows church management software.

   Python 2

3. aws-iot-device-sdk-embedded-C aws-iot-device-sdk-embedded-C Public

   Forked from aws/aws-iot-device-sdk-embedded-C

   SDK for connecting to AWS IoT from a device using embedded C.

   C 2

4. amazon-freertos amazon-freertos Public

   Forked from aws/amazon-freertos

   IoT operating system for microcontrollers.

   C 1

5. FreeRTOS-Kernel FreeRTOS-Kernel Public

   Forked from FreeRTOS/FreeRTOS-Kernel

   FreeRTOS kernel files

   C

6. homebrew-core homebrew-core Public

   Forked from Homebrew/homebrew-core

   🍻 Default formulae for the missing package manager for macOS

   Ruby