https://github.com/azdavis/sml-libs
Signatures for SML libraries
https://github.com/azdavis/sml-libs
Last synced: about 2 months ago
JSON representation
Signatures for SML libraries
- Host: GitHub
- URL: https://github.com/azdavis/sml-libs
- Owner: azdavis
- License: other
- Created: 2022-10-18T06:14:38.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2023-08-10T04:13:30.000Z (almost 2 years ago)
- Last Synced: 2025-01-28T03:29:24.802Z (4 months ago)
- Language: Standard ML
- Size: 224 KB
- Stars: 1
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE-MLTON.txt
Awesome Lists containing this project
README
# sml-libs
Signatures for various SML libraries.
Originally a part of [Millet][] that I pulled out into its own repo.
Mostly scraped from public documentation websites using [sml-libs-scraper][], with some manual formatting tweaks.
## Licenses
Most of the the SML files within are basically just remixes/alternative presentations of content from various public websites.
Each directory in `src` came from different sources, and are covered by different licenses.
| Directory/Source | License |
| --------------------- | ----------------------- |
| [`mlton`][] | `LICENSE-MLTON.txt` |
| [`sml_of_nj`][] | `LICENSE-SMLNJ.txt` |
| [`smlnj_lib`][] | `LICENSE-SMLNJ.txt` |
| [`std_basis`][] | `LICENSE-STD-BASIS.txt` |
| [`std_basis_extra`][] | Unknown |
[millet]: https://github.com/azdavis/millet
[sml-libs-scraper]: https://github.com/azdavis/sml-libs-scraper
[`mlton`]: http://mlton.org/MLtonStructure
[`sml_of_nj`]: https://www.smlnj.org/doc/SMLofNJ/pages/index-all.html
[`smlnj_lib`]: https://www.smlnj.org/doc/smlnj-lib
[`std_basis`]: https://smlfamily.github.io/Basis
[`std_basis_extra`]: https://github.com/SMLFamily/BasisLibrary