infer

Experiments in dependent type inference

Related Repositories

infer

infer

A static analyzer for Java, C, C++, and Objective-C ...

codepainter

codepainter

A JavaScript beautifier that can both infer coding style and transform code to reflect that style. You can also set style preferences explicitly in a variety of ways. ...

infer

infer

inference and machine learning in clojure ...

filetype

filetype

Small Go package to infer the file type checking the magic numbers signature (golang) ...

type-is

type-is

Infer the content-type of a request. ...