Backport from sid to buster
[hcoop/debian/mlton.git] / doc / guide / src / Libraries.adoc
1 Libraries
2 =========
3
4 In theory every strictly conforming Standard ML program should run on
5 MLton. However, often large SML projects use implementation specific
6 features so some "porting" is required. Here is a partial list of
7 software that is known to run on MLton.
8
9 * Utility libraries:
10 ** <:SMLNJLibrary:> - distributed with MLton
11 ** <:MLtonLibraryProject:> - various libraries located on the MLton subversion repository
12 ** <!ViewGitDir(mlton,master,lib/mlton)> - the internal MLton utility library, which we hope to cleanup and make more accessible someday
13 ** http://github.com/seanmcl/sml-ext[sml-ext], a grab bag of libraries for MLton and other SML implementations (by Sean McLaughlin)
14 ** http://tom7misc.cvs.sourceforge.net/tom7misc/sml-lib/[sml-lib], a grab bag of libraries for MLton and other SML implementations (by <:TomMurphy:>)
15 * Scanner generators:
16 ** <:MLLPTLibrary:> - distributed with MLton
17 ** <:MLLex:> - distributed with MLton
18 ** <:MLULex:> -
19 * Parser generators:
20 ** <:MLAntlr:> -
21 ** <:MLLPTLibrary:> - distributed with MLton
22 ** <:MLYacc:> - distributed with MLton
23 * Concurrency: <:ConcurrentML:> - distributed with MLton
24 * Graphics
25 ** <:SML3d:>
26 ** <:mGTK:>
27 * Misc. libraries:
28 ** <:CKitLibrary:> - distributed with MLton
29 ** <:MLRISCLibrary:> - distributed with MLton
30 ** <:MLNLFFI:ML-NLFFI> - distributed with MLton
31 ** <:Swerve:>, an HTTP server
32 ** <:fxp:>, an XML parser
33
34 == Ports in progress ==
35
36 <:Contact:> us for details on any of these.
37
38 * <:MLDoc:> http://people.cs.uchicago.edu/%7Ejhr/tools/ml-doc.html
39 * <:Unicode:>
40
41 == More ==
42
43 More projects using MLton can be seen on the <:Users:> page.
44
45 == Software for SML implementations other than MLton ==
46
47 * PostgreSQL
48 ** Moscow ML: http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html
49 ** SML/NJ NLFFI: http://smlweb.sourceforge.net/smlsql/
50 * Web:
51 ** ML Kit: http://www.smlserver.org[SMLserver] (a plugin for AOLserver)
52 ** Moscow ML: http://ellemose.dina.kvl.dk/%7Esestoft/msp/index.msp[ML Server Pages] (support for PHP-style CGI scripting)
53 ** SML/NJ: http://smlweb.sourceforge.net/[smlweb]