Yuhui Zheng's repositories
Design-Patterns-in-C
Practical design patterns in C
amazon-freertos
Cloud-native IoT operating system for microcontrollers.
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
aws-iot-device-sdk-embedded-C
SDK for connecting to AWS IoT from a device using embedded C.
CMSIS-FreeRTOS
FreeRTOS adaptation for CMSIS-RTOS Version 2
FreeRTOS-Kernel
FreeRTOS kernel files
Lab-Project-FreeRTOS-POSIX
This repository contains FreeRTOS+POSIX source code and a demo project.
cortex-m-rtic
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
Lab-Project-FreeRTOS-FAT
This repository contains FreeRTOS+FAT source code, which could be consumed as a submodule.
renode-infrastructure
Prototype for FreeRTOS
tensorflow
An Open Source Machine Learning Framework for Everyone
TLAPLUS_DeadlockEmpire
Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC