key | value |
---|---|
id | 25835341 |
name | pvslib |
full_name | nasa/pvslib |
html_url | https://github.com/nasa/pvslib |
description | NASA PVS Library of Formal Developments |
created_at | Oct. 27, 2014, 7:27 p.m. |
updated_at | March 16, 2024, 5:37 a.m. |
pushed_at | April 12, 2024, 5:37 p.m. |
size | 87,339 |
stargazers_count | 255 |
watchers_count | 30 |
forks_count | 49 |
open_issues | 0 |
language | Common Lisp |
awesome_list |