brew tap for CBMC

Kani Rust Verifier

Verifying the Rust standard library

Templates for writing CBMC proofs for C code

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

An implementation of the IETF QUIC protocol

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

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

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 possi…

Rust project ideas for Google Summer of Code

Kani VSCode Extension

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

Software implementation of the PKCS #11 standard.

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

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

Client implementation of the MQTT 3.1.1 specification for embedded devices

Client library for using AWS IoT Defender service on embedded devices

Client library for using AWS IoT Shadow service on embedded devices

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

Client library for using AWS IoT Jobs service on embedded devices

🍻 Default formulae for the missing package manager for macOS (or Linux)

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

Client library for using AWS IoT Fleet Provisioning service on embedded devices

SNTPv4 client designed for embedded devices.

s2n : an implementation of the TLS/SSL protocols

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

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