GitHub repository: kmbarry1/klab
Primary language: JavaScript
Description: K framework proof explorer & smart contract specification format