ecosyste.ms

All services

Data

Packages
Repositories
Advisories

Tools

Dependency Parser
Dependency Resolver
SBOM Parser
License Parser
Digest
Archives
Diff
Summary

Indexes

Timeline
Commits
Issues
Sponsors
Docker
Open Collective
Dependabot

Applications

Funds
Dashboards

Experiments

OST
Papers
Awesome
Ruby

Awesome

An open API service indexing awesome lists of open source software.

Support
GitHub
API

https://github.com/leanprover/lean

https://github.com/leanprover/lean

Last synced: 3 months ago
JSON representation

Ecosyste.ms

Tools and open datasets to support, sustain, and secure critical digital infrastructure.

Code: AGPL-3 — Data: CC BY-SA 4.0

Supported by

Become a sponsor

About
Blog
Contact
Privacy
Terms
Status