yuhui-zheng

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.

cbmc

C Bounded Model Checker

CMSIS-FreeRTOS

FreeRTOS adaptation for CMSIS-RTOS Version 2

FreeRTOS

Git clone of FreeRTOS svn repo. SVN found at: https://sourceforge.net/projects/freertos/

FreeRTOS-Kernel

FreeRTOS kernel files

FreeRTOS-Labs

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

darknet

Convolutional Neural Networks

Doodle

Does not contain code, doodling.

edk2

EDK II

HarmonyOS

A curated list of awesome things related to HarmonyOS. 华为鸿蒙操作系统。

hwloc-rs

This crate provides Rust bindings for the Open MPI Portable Hardware Locality "hwloc" library

hyper

An HTTP library for Rust

Lab-Project-FreeRTOS-FAT

This repository contains FreeRTOS+FAT source code, which could be consumed as a submodule.

linux

Linux kernel source tree

msr-tools

oreboot

oreboot is a fork of coreboot, with C removed, written in Rust.

pal

The Bareflank Processor Abstraction Layer

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

renode

Renode - virtual development framework for complex embedded systems

renode-infrastructure

Prototype for FreeRTOS

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

tensorflow

An Open Source Machine Learning Framework for Everyone

TLAPLUS_DeadlockEmpire

Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC

tock

A secure embedded operating system for Cortex-M based microcontrollers

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.