https://github.com/azdavis/sml-libs-scraper
Scraper for online SML libraries
https://github.com/azdavis/sml-libs-scraper
standard-ml
Last synced: 2 months ago
JSON representation
Scraper for online SML libraries
- Host: GitHub
- URL: https://github.com/azdavis/sml-libs-scraper
- Owner: azdavis
- License: mit
- Created: 2022-06-13T06:31:04.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2023-05-31T22:51:11.000Z (over 2 years ago)
- Last Synced: 2025-04-12T14:00:08.269Z (6 months ago)
- Topics: standard-ml
- Language: TypeScript
- Homepage:
- Size: 83 KB
- Stars: 4
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
# SML Libs Scraper
Parsing the online
- [Standard ML Basis][basis]
- [SML/NJ Library][smlnj-lib]
- [SML of NJ][sml-of-nj]
- [MLton][mlton]library documentation and generating various things from them, like SML files.
## Running
```sh
$ npm install
$ npm run go
```[basis]: https://smlfamily.github.io/Basis
[smlnj-lib]: https://www.smlnj.org/doc/smlnj-lib
[sml-of-nj]: https://www.smlnj.org/doc/SMLofNJ/pages/index-all.html
[mlton]: http://mlton.org/MLtonStructure