Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mkhan45/lean
https://github.com/mkhan45/lean
Last synced: about 1 month ago
JSON representation
- Host: GitHub
- URL: https://github.com/mkhan45/lean
- Owner: mkhan45
- Created: 2024-05-08T04:06:26.000Z (6 months ago)
- Default Branch: 😎
- Last Pushed: 2024-05-09T03:13:27.000Z (6 months ago)
- Last Synced: 2024-05-09T06:39:14.867Z (6 months ago)
- Language: Lean
- Size: 6.84 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: