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: 49,981 of 188,252
Downloads: 22,321

Daily

Ranking: 23,157 of 188,232
Downloads: 13

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName

Depends on

RankDownloadsName
39707,744,007parser
57628,200,938rubocop
299153,577,182colorize
49694,190,799cucumber
63381,914,605test-unit
30,07644,029help_parser

Owners

#GravatarHandle
1iconcarlosjhr64