Sponsored by




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.

Sort Repositories

A static analyzer for Java, C, C++, and Objective-C
lang: OCaml
stars: 14.5K
last activity:
facebook / flow
Adds static typing to JavaScript to improve developer productivity and code quality.
lang: OCaml
stars: 22K
last activity:
coq / coq
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:
Sponsor me on GitHub