About
First Issue curates accessible issues from popular open-source projects, and helps you make your next contribution to open-source.
Join the Newsletter
Join the FirstIssue.dev newsletter and receive curated issues in your inbox every week.
Browse by Language
Sort Repositories
Adds static typing to JavaScript to improve developer productivity and code quality.
lang: OCaml
stars: 22K
last activity:
A static analyzer for Java, C, C++, and Objective-C
lang: OCaml
stars: 14.4K
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: