Skip to content
Avatar
🏠
Working from home
🏠
Working from home
  • AWS
  • Seattle, WA

Popular repositories

  1. Forked from FreeRTOS/FreeRTOS-Kernel

    FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

    C

  2. Forked from FreeRTOS/coreMQTT

    Client implementation of the MQTT 3.1.1 specification for embedded devices

    C

  3. Forked from FreeRTOS/FreeRTOS-Plus-TCP

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

    C 1

  4. Forked from aws/amazon-freertos

    IoT operating system for microcontrollers.

    C

  5. Forked from FreeRTOS/FreeRTOS

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

    C 1

536 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to FreeRTOS/FreeRTOS-Plus-TCP, FreeRTOS/FreeRTOS, aws/amazon-freertos and 5 other repositories

Contribution activity

November 2020

Created a pull request in FreeRTOS/FreeRTOS-Plus-TCP that received 1 comment

Add CBMC proof for vSocketClose

Description This PR adds CBMC proof for vSocketClose. Test Steps Related Issue By submitting this pull request, I confirm that you can use, modify,…

+162 −0 1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.