GitHub repository: GaloisInc/ec2-unikernel
Primary language: Haskell
Description: Tool for uploading unikernels into EC2