Pinned Repositories
s2n-tls
An implementation of the TLS/SSL protocols
aws-build-accumulator
Litani metabuild system
cbmc
C Bounded Model Checker
FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
kani
Kani Rust Verifier
red
redirected execution daemon
smid
state machine interface driver.
tuscan
karkhaz's Repositories
karkhaz/tuscan
karkhaz/kani
Kani Rust Verifier
karkhaz/aws-build-accumulator
karkhaz/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
karkhaz/aws-encryption-sdk-c
AWS Encryption SDK for C
karkhaz/aws-iot-device-sdk-embedded-C
SDK for connecting to AWS IoT from a device using embedded C.
karkhaz/aws-templates-for-cbmc-proofs
Templates for writing CBMC proofs for C code
karkhaz/cbmc
C Bounded Model Checker
karkhaz/CI-CD-Github-Actions
Common GitHub Actions for CI/CD on FreeRTOS library repositories.
karkhaz/coreHTTP
karkhaz/coreJSON
A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers
karkhaz/coreMQTT
karkhaz/coreMQTT-Agent
Implements an MQTT agent (or daemon) task for simple MQTT connection sharing among different threads of execution.
karkhaz/corePKCS11
Software implementation of the PKCS #11 standard.
karkhaz/coreSNTP
SNTPv4 client designed for embedded devices.
karkhaz/device-defender-for-aws-iot-embedded-sdk
Client library for using AWS IoT Defender service on embedded devices
karkhaz/device-shadow-for-aws-iot-embedded-sdk
Client library for using AWS IoT Shadow service on embedded devices
karkhaz/firecracker
Secure and fast microVMs for serverless computing.
karkhaz/FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
karkhaz/FreeRTOS-Cellular-Interface
FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.
karkhaz/FreeRTOS-Plus-TCP
FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
karkhaz/hifitime
A high fidelity time management library in Rust
karkhaz/homebrew-tap
Homebrew formulae that allows installation of AWS tools through the Homebrew package manager.
karkhaz/issue-dashboard
A customizable dashboard for GitHub issues and pull requests, using GitHub Pages and GitHub Actions
karkhaz/jobs-for-aws-iot-embedded-sdk
Client library for using AWS IoT Jobs service on embedded devices
karkhaz/kani-github-action
This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
karkhaz/ota-for-aws-iot-embedded-sdk
karkhaz/s2n-quic
An implementation of the IETF QUIC protocol
karkhaz/s2n-tls
s2n : an implementation of the TLS/SSL protocols
karkhaz/SigV4-for-AWS-IoT-embedded-sdk
AWS library to sign AWS HTTP requests with Signature Version 4 Signing Process.