Pinned Repositories
autogluon
AutoGluon: AutoML for Text, Image, and Tabular Data
aws-build-accumulator
Litani metabuild system
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
aws-codebuild-run-build
Run an AWS CodeBuild project as a step in a GitHub Actions workflow job.
aws-encryption-sdk-c
AWS Encryption SDK for C
aws-shell
An integrated shell for working with the AWS CLI.
aws-viewer-for-cbmc
Scans the output of CBMC and produces a browsable summary of the results.
brew
🍺 The missing package manager for macOS (or Linux)
cbmc
C Bounded Model Checker
cbmc-starter-kit
Templates for writing CBMC proofs for C code
ronakfof's Repositories
ronakfof/autogluon
AutoGluon: AutoML for Text, Image, and Tabular Data
ronakfof/aws-build-accumulator
Litani metabuild system
ronakfof/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
ronakfof/aws-codebuild-run-build
Run an AWS CodeBuild project as a step in a GitHub Actions workflow job.
ronakfof/aws-encryption-sdk-c
AWS Encryption SDK for C
ronakfof/aws-viewer-for-cbmc
Scans the output of CBMC and produces a browsable summary of the results.
ronakfof/brew
🍺 The missing package manager for macOS (or Linux)
ronakfof/cbmc
C Bounded Model Checker
ronakfof/cbmc-starter-kit
Templates for writing CBMC proofs for C code
ronakfof/cbmc-training
CBMC training material and documentation
ronakfof/coreHTTP
Client implementation of a subset of HTTP 1.1 protocol designed for embedded devices.
ronakfof/coreMQTT
Client implementation of the MQTT 3.1.1 specification for embedded devices
ronakfof/coreMQTT-Agent
Implements an MQTT agent (or daemon) task for simple MQTT connection sharing among different threads of execution.
ronakfof/corePKCS11
Software implementation of the PKCS #11 standard.
ronakfof/dafny
Dafny is a verification-aware programming language
ronakfof/Device-Defender-for-AWS-IoT-embedded-sdk
Client library for using AWS IoT Defender service on embedded devices
ronakfof/Device-Shadow-for-AWS-IoT-embedded-sdk
Client library for using AWS IoT Shadow service on embedded devices
ronakfof/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
ronakfof/homebrew-litani
ronakfof/homebrew-tap
Homebrew formulae that allows installation of AWS tools through the Homebrew package manager.
ronakfof/Jobs-for-AWS-IoT-embedded-sdk
Client library for using AWS IoT Jobs service on embedded devices
ronakfof/kani
Kani Rust Verifier
ronakfof/litani
ronakfof/mirror-s2n-tls
ronakfof/private-coreMQTT-Agent
ronakfof/private-coreSNTP
ronakfof/private-dafny
ronakfof/s2n-tls
s2n : an implementation of the TLS/SSL protocols
ronakfof/SigV4-for-AWS-IoT-embedded-sdk
ronakfof/viewer