GitHub repository: netanelgilad/prophet
Primary language: TypeScript
Created: 2019-03-15T09:30:49Z
Description: A symbolic execution VM