GitHub repository: GaloisInc/camkes-vm
Primary language: C
Description: Virtual Machine build as a CAmkES component.