Coq Alternatives
git-svn mirror of Coq + branches -- see http://github.com/SamB/coq/wikis
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| My Git | 7,070 | 3 years ago | 1 | |||||||
| Individual collecting material of learning git（有关 git 的学习资料） | ||||||||||
| Icdiff | 4,075 |  | 35 | 9 | a year ago | 16 | August 21, 2023 | 21 | other | Python |
| improved colored diff | ||||||||||
| Mdserver Web | 3,590 | 10 months ago | 8 | apache-2.0 | JavaScript | |||||
| Simple Linux Panel | ||||||||||
| Awesome Intellij Idea | 3,151 | a year ago | 7 | mit | ||||||
| 收集一些 Intellij IDEA 的一些技巧 | ||||||||||
| Vim Signify | 2,607 | a year ago | 12 | mit | Vim Script | |||||
| :heavy_plus_sign: Show a diff using Vim its sign column. | ||||||||||
| Wordpress Develop | 2,176 | 10 months ago | 1,333 | gpl-2.0 | PHP | |||||
| WordPress Develop, Git-ified. Synced from git://develop.git.wordpress.org/, including branches and tags! This repository is just a mirror of the WordPress subversion repository. Please include a link to a pre-existing ticket on https://core.trac.wordpress.org/ with every pull request. | ||||||||||
| Ansible Vagrant Examples | 2,038 | a year ago | 1 | mit | ||||||
| Ansible examples using Vagrant to deploy to local VMs. | ||||||||||
| Phing | 1,154 |  | 3,490 | 1,234 | a year ago | 41 | November 12, 2023 | 12 | lgpl-3.0 | PHP |
| PHing Is Not GNU make; it's a PHP project build system or build tool based on Apache Ant. | ||||||||||
| Dvcs Ripper | 1,114 | 4 years ago | 7 | gpl-2.0 | Perl | |||||
| Rip web accessible (distributed) version control systems: SVN/GIT/HG... | ||||||||||
| Wireboy.socket.p2psocket | 1,108 | 2 years ago | 2 | gpl-3.0 | C# | |||||
| P2P内网穿透，实现【公司】-【家】远程控制 | ||||||||||
Alternatives To CoqSelect To Compare
Alternative Project Comparisons
Popular Subversion Projects
Popular Version Control Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Subversion
Coq