muralitaws

Pinned Repositories

aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Language:C00
cbmc
C Bounded Model Checker
Language:SWIG00

muralitaws's Repositories

muralitaws/cbmc
C Bounded Model Checker
Language:SWIG
muralitaws/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.