About
verto.sh
verto.sh simplifies your entry into the open-source world by curating accessible projects. Ideal for beginners making their first contribution, founders building teams, and maintainers seeking new contributors.
Your Gateway to Open-Source Collaboration!
This month's sponsor
Use Collectiv to solve Hacktoberfest issues and win a T-Shirt & other exciting merch!
Your name and logo here?Join the Newsletter
Join "The lucavallin Newsletter" to receive curated issues from verto.sh and other articles in your inbox every other week.
Browse by Language
Sort Repositories
A static analyzer for Java, C, C++, and Objective-C
lang: OCaml
stars: 14.5K
last activity:
Adds static typing to JavaScript to improve developer productivity and code quality.
lang: OCaml
stars: 22K
last activity:
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
lang: OCaml
stars: 4.4K
last activity: