Reservoir

Reservoir is the package repository for Lean and Lake. It automatically indexes about the Lean repositories published on GitHub, builds them on new toolchain releases, and presents the results in organized form on the website.

Credits

Thank Yakov Pechersky for originally suggesting the name and Xubai Wang for his work on a similar project. The site's design is heavily inspired by Rust's crates.io and uses some open imagery:

• The Reservoir logo is the dam from Icon8's flat icons.
• The leaking barrel error page icon is by Delapoute from Game-icons.net with its colors thematically adjusted for Reservoir.