A JuMP-based Nonlinear Integer Program Solver
lanl-ansi/Juniper.jl has 188 GitHub stars.
It currently ranks #15528 daily, #16444 weekly, #19526 monthly by momentum on Trending Repos; its best-ever rank is #5362.