key | value |
---|---|
id | 59719510 |
name | coq-serapi |
full_name | ejgallego/coq-serapi |
html_url | https://github.com/ejgallego/coq-serapi |
description | Coq Protocol Playground with Se(xp)rialization of Internal Structures. |
created_at | May 26, 2016, 4:22 a.m. |
updated_at | May 2, 2024, 7:52 p.m. |
pushed_at | May 9, 2024, 4:32 p.m. |
size | 5,716 |
stargazers_count | 123 |
watchers_count | 12 |
forks_count | 39 |
open_issues | 11 |
language | OCaml |
awesome_list |