<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
kframework/k-legacy
The K tools (deprecated, see README)
Java
Stars 147
Forks 61
Watchers 147
Open issues 327
License Other
Details
仓库信息
Owner
kframework
Homepage
http://kframework.org
GitHub
https://github.com/kframework/k-legacy
Last pushed
2018-02-14
Last updated
2025-12-15
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--