infer

Experiments in dependent type inference

2 years after

Related Repositories

codepainter

codepainter

A JavaScript beautifier that can both infer coding style and transform code to r ...

spec-provider

spec-provider

Infer Clojure specs from sample data. Inspired by F#'s type providers. ...

infer-plugin

infer-plugin

Gradle plugin that allows easy integration with the infer static analyzer. ...

jooi

jooi

Convert the results of Infer (static analyzer by Facebook) to JUnit format resul ...

dateinfer

dateinfer

Python library to infer date format from examples ...