tautschnig

amanda

Amanda Network Backup

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

bibtool

BibTool is a tool for manipulating BibTeX data bases. BibTeX provides a mean to integrate citations into LaTeX documents. BibTool allows the manipulation of BibTeX files which goes beyond the possibilities -- and intentions -- of BibTeX.

cbmc

cbmc-viewer

Scans the output of CBMC and produces a browsable summary of the results.

coreHTTP

Client implementation of a subset of HTTP 1.1 protocol designed for embedded devices.

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

Kani Rust Verifier

ota-for-aws-iot-embedded-sdk

s2n

s2n : an implementation of the TLS/SSL protocols

s2n-quic

An implementation of the IETF QUIC protocol

SigV4-for-AWS-IoT-embedded-sdk

AWS library to sign AWS HTTP requests with Signature Version 4 Signing Process.

verify-rust-std

Verifying the Rust standard library