key | value |
---|---|
id | 208612890 |
name | lea |
full_name | zertovitch/lea |
html_url | https://github.com/zertovitch/lea |
description | LEA is a Lightweight Editor for Ada |
created_at | Sept. 15, 2019, 3:16 p.m. |
updated_at | Oct. 23, 2024, 8:19 p.m. |
pushed_at | Oct. 23, 2024, 8:19 p.m. |
size | 5,387 |
stargazers_count | 25 |
watchers_count | 8 |
forks_count | 5 |
open_issues | 1 |
language | Ada |
awesome_list |