Awesome Open Source

Programming Languages

Cli vs Ergo

	Ergo	Cli
Stars	144	15
Downloads
Dependent Packages	9
Dependent Repos	10
Most Recent Commit	2 years ago	2 years ago
Total Releases	960
Latest Release	November 08, 2022
Open Issues	46
License	apache-2.0	mit
Programming Language	Coq	JavaScript

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.