Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Fcpp | 10 | 8 months ago | 2 | apache-2.0 | C++ | |||||
C++ library implementing efficiently the Field Calculus | ||||||||||
H2agent | 9 | 5 months ago | 3 | other | C++ | |||||
C++ HTTP/2 Mock Service which enables mocking other network services | ||||||||||
Ecoop2020 | 5 | 3 years ago | gpl-3.0 | Coq | ||||||
A Type-Directed Operational Semantics for a Calculus with a Merge Operator |