GitHub repository: Daolab/beakeros
Primary language: JavaScript
Description: A security protocol and framework for smart contracts