Open Sourcing Infer, 1 Year On

June 23, 2016 · One min read

Jules Villard

It's been a little over a year ago since we open-sourced Infer on 9 June 2016!

The Infer GitHub repo has seen a lot of activity since then:

5350 stars on GitHub
339 issues opened
44 pull requests by 15 contributors
10 releases
5 external companies officially using Infer (add yourself here)

Infer was presented at 13 academic and tech international conferences, and at 8 universities around the world!

Amongst these was Mobile@Scale in March 2016, where we announced our collaboration with Spotify. Around the same time, Uber presented at Droidcon SF their Rave + Infer combo to help their developers move fast, and open-sourced a Gradle plugin for Infer.

Infer has also been used to introduce static analysis to students in university courses, including at UCL, Imperial College, and Queen Mary University.

In May, Reason was released publicly and, simultaneously, Infer became the first ever project to use Reason! Reason is a new syntax for OCaml, the programming language in which Infer is written.