Michael Tautschnig's repositories
anagramarama
A multi-platform, multi-lingual anagram finding game.
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-templates-for-cbmc-proofs
Templates for writing CBMC proofs for C code
cbmc-viewer
Scans the output of CBMC and produces a browsable summary of the results.
coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
coreMQTT
Client implementation of the MQTT 3.1.1 specification for embedded devices
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
Fleet-Provisioning-for-AWS-IoT-embedded-sdk
Client library for using AWS IoT Fleet Provisioning service on embedded devices
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.
homebrew-cbmc
brew tap for CBMC
homebrew-tap
Homebrew formulae that allows installation of AWS tools through the Homebrew package manager.
Jobs-for-AWS-IoT-embedded-sdk
Client library for using AWS IoT Jobs service on embedded devices
kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
rust
Empowering everyone to build reliable and efficient software.
SigV4-for-AWS-IoT-embedded-sdk
AWS library to sign AWS HTTP requests with Signature Version 4 Signing Process.