Sponsor HOL open-source work
Sponsorship payments are collected by Moonscape Labs Inc. and support HOL open-source work. They are not charitable contributions.
Sponsorship does not include a Cloud plan, a governance seat, or publisher authority. Catalog sponsorship-catalog-2026-09-21.1.
Four ways to take part
- Fund HOL open-source work
- Support the project directly. A Cloud plan is not required, and there is no logo review.
- Buy explicit recognition
- README and banner placements stay closed until a surface and its terms are approved.
- Promote a plugin or extension
- Those purchases stay on their existing services. This hub does not reprice them.
- Discuss a security package
- Four package amounts are listed for discussion. Payment is not collected here.
What is still unapproved
- Seller, payment provider, and terms: unapproved
- Institutional package term: unapproved
- Legacy README obligations versus the new portfolio: unapproved
- New rates and service commitments: unapproved