key | value |
---|---|
id | 23772288 |
name | hopper |
full_name | cuplv/hopper |
html_url | https://github.com/cuplv/hopper |
description | Goal-directed static analysis tool for JVM languages. |
created_at | Sept. 7, 2014, 10:06 p.m. |
updated_at | July 17, 2023, 8:13 a.m. |
pushed_at | May 17, 2016, 4:24 p.m. |
size | 941 |
stargazers_count | 55 |
watchers_count | 13 |
forks_count | 11 |
open_issues | 1 |
language | Scala |
awesome_list |