Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Coq

git-svn mirror of Coq + branches -- see http://github.com/SamB/coq/wikis
Stars
5
License
other
Open Issues
0
Most Recent Commit
16 years ago
Programming Language
OCaml
Categories
Site
Repo
Alternatives To Coq
Select To Compare
Icdiff ⭐ 4,075
improved colored diff
dependent packages 9total releases 16most recent commit 9 months agopypi icdiff} Downloads
Mdserver Web ⭐ 3,590
Simple Linux Panel
most recent commit 4 months ago


Suggest An Alternative To coq
Popular Version Control Categories
Git
Commit
Gitlab
Subversion
Version Control
Bitbucket
Mercurial
Git Hooks
Hg
Tfs

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Subversion
Coq
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.