https://github.com/leanprover/reservoir

Package registry for Lean/Lake.
https://github.com/leanprover/reservoir

Last synced: 24 days ago
JSON representation

Package registry for Lean/Lake.

• Host: GitHub
• URL: https://github.com/leanprover/reservoir
• Owner: leanprover
• License: apache-2.0
• Created: 2023-09-01T03:31:28.000Z (over 1 year ago)
• Default Branch: master
• Last Pushed: 2024-10-19T06:48:56.000Z (3 months ago)
• Last Synced: 2024-11-06T13:31:34.634Z (2 months ago)
• Language: Vue
• Homepage: https://reservoir.lean-lang.org
• Size: 1.05 MB
• Stars: 16
• Watchers: 3
• Forks: 1
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• best-of-lean4 - GitHub - 24% open · ⏱️ 19.10.2024): (Tools)

README

        
# 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](https://reservoir.lean-lang.org).

## Credits

Thank Yakov Pechersky for [originally suggesting](https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.5BRFC.5D.20package.2Elean.20rename/near/254941424) the name and Xubai Wang for his work on [a similar project](https://github.com/xubaiw/Reservoir.lean). The site's design is heavily inspired by Rust's [crates.io](https://crates.io) and uses some open imagery:

* The [Reservoir logo](/site/public/favicon.svg) is the dam from [Icon8's flat icons](https://github.com/icons8/flat-Color-icons).

* The [leaking barrel error page icon](/site/assets/barrel-leak.svg) is by Delapoute from [Game-icons.net](https://game-icons.net/1x1/delapouite/barrel-leak.html) with its colors thematically adjusted for Reservoir.