Categories: None [Edit]

korekto

https://rubygems.org/gems/korekto
https://github.com/carlosjhr64/korekto
A general proof checker. Works with [neovim](https://github.com/neovim/neovim).

Total

Ranking: 50,010 of 187,950
Downloads: 22,146

Daily

Ranking: 38,770 of 187,922
Downloads: 18

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
40698,270,957parser
57620,301,193rubocop
298152,594,581colorize
49093,580,003cucumber
63781,028,973test-unit
30,11643,647help_parser

Owners

#GravatarHandle
1iconcarlosjhr64