karkhaz Goto Github PK

amazon-freertos

IoT operating system for microcontrollers.

arch-tuscan

aws-build-accumulator

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

aws-encryption-sdk-c

AWS Encryption SDK for C

aws-iot-device-sdk-embedded-c

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

aws-templates-for-cbmc-proofs

Templates for writing CBMC proofs for C code

cbmc

C Bounded Model Checker

ci-cd-github-actions

Common GitHub Actions for CI/CD on FreeRTOS library repositories.

corehttp

corejson

A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers

coremqtt

coremqtt-agent

Implements an MQTT agent (or daemon) task for simple MQTT connection sharing among different threads of execution.

corepkcs11

Software implementation of the PKCS #11 standard.

coresntp

SNTPv4 client designed for embedded devices.

cprover-sv-comp

CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

device-defender-for-aws-iot-embedded-sdk

Client library for using AWS IoT Defender service on embedded devices

device-shadow-for-aws-iot-embedded-sdk

Client library for using AWS IoT Shadow service on embedded devices

firecracker

Secure and fast microVMs for serverless computing.

freertos

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

freertos-cellular-interface

FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.

freertos-plus-tcp

FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

hifitime

A high fidelity time management library in Rust

homebrew-tap

Homebrew formulae that allows installation of AWS tools through the Homebrew package manager.

issue-dashboard

A customizable dashboard for GitHub issues and pull requests, using GitHub Pages and GitHub Actions

jobs-for-aws-iot-embedded-sdk

Client library for using AWS IoT Jobs service on embedded devices

kani

Kani Rust Verifier

kani-github-action

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

ninja

a small build system with a focus on speed

ota-for-aws-iot-embedded-sdk