Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /pages/trunk/links.html
ViewVC logotype

Annotation of /pages/trunk/links.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1257 - (view) (download) (as text)

1 : macqueen 953 !-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->
2 :    
3 :     <HTML>
4 :     <TITLE>SML/NJ: Links</TITLE>
5 :     <!-- Changed by: John Reppy, 29-Sept-1999 -->
6 :     <BODY BGCOLOR="ffffff">
7 :     <CENTER>
8 :     <H2>Links to other SML resources</H2>
9 :     </CENTER>
10 :     <blockquote>
11 :     Please feel free to send <A HREF="mailto:sml-nj@research.bell-labs.com">us</A>
12 :     additional URLs that should be on this list.
13 :     <h3>SML Programming Resources</h3>
14 :     <UL>
15 :     <LI>
16 :     <A HREF="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html">
17 :     Concurrent ML</A>
18 :     <P>
19 :     <LI>
20 :     <A HREF="http://www.informatik.uni-bremen.de/~cxl/sml_tk/">
21 :     sml_tk</A>, a library for using the TK graphical interface,
22 :     now updated to version 3.0
23 :     <P>
24 :     <LI> Nikolaj Bjorner's
25 :     <A HREF="ftp://rodin.stanford.edu/pub/sml-utilities/">utility modules</A>
26 :     for bags, rings, and graph manipulation
27 :     <P>
28 :     <LI> Martin Erwig's
29 :     <A HREF="http://www.cs.orst.edu/~erwig/fgl/">
30 :     Functional Graph Library</A>
31 :     <P>
32 :     <LI> Yi and Ryu's
33 :     <A HREF="http://compiler.kaist.ac.kr/pub/exna/exna-README.html">
34 :     SML/NJ exception analyzer</A>
35 :     <P>
36 :     <LI> Edoardo Biagioni's
37 :     <A HREF="http://www.ics.hawaii.edu/~esb/smldb/index.html">smldb</A>,
38 :     a simple database package
39 :     <P>
40 :     <LI> Dan Wang's
41 :     <A HREF="http://www.cs.princeton.edu/~danwang/sml/query.tar.gz">
42 :     query interface</A> for talking to a Postress SQL server
43 :     <P>
44 :     <LI> ÁNOQ of the Sun's
45 :     <A HREF="http://www.HardcoreProcessing.com/Freeware/SDLML.html">
46 :     SDL::ML</A>. "Standard ML bindings for Sam Lantiga's SDL library.
47 :     SDL stands for Simple DirectMedia Layer and it is a library for
48 :     creating sound, fast graphics, getting mouse and keyboard input etc."
49 :     This works with MLton and MLKit, but hopefully it will get
50 :     ported to SML/NJ.
51 :     <P>
52 :     <LI>
53 :     See also the contributed tools and libraries available in the
54 :     <A HREF="software.html#contrib">contrib</A> directory
55 :     of the SML/NJ ftp site.
56 :     </UL>
57 :    
58 :     <h3>Related Compiler Research Projects</h3>
59 :     <UL>
60 :     <LI>
61 :     <A HREF="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html">
62 :     The MLRISC code generator system</A>
63 :     <P>
64 :     <LI>
65 :     <A HREF="http://flint.cs.yale.edu">
66 :     The FLINT project at Yale</A>
67 :     <P>
68 :     <LI>
69 :     <A HREF="http://ropas.kaist.ac.kr/let-e.html">
70 :     The LET project at KAIST</A>
71 :     <P>
72 :     <LI>
73 :     <A HREF="http://simon.cs.cornell.edu/Info/People/jgm/tilt.html">
74 :     The TILT Compiler project at Cornell and CMU</A>
75 :     <P>
76 :     <LI>
77 :     <A HREF="http://simon.cs.cornell.edu/home/walker/talnet/tal.html">
78 :     The TAL (Typed Assembly Language) project at Cornell</A>
79 :     <P>
80 :     <LI>
81 :     <A HREF="http://www.diku.dk/research-groups/topps/activities/mlkit.html">
82 :     The ML Kit project at DIKU</A>
83 :     <P>
84 :     <LI>
85 : mblume 1257 <A HREF="http://www.mlton.org/">
86 : macqueen 953 The MLton whole-program optimizing SML compiler. (SML '97)
87 :     <P>
88 :     <LI>
89 :     <A HREF="http://www.dcs.ed.ac.uk/home/stg/DynamicML/">
90 :     The Dynamic ML project at Edinburgh</A>
91 :     <P>
92 :     <LI>
93 :     <A HREF="http://www.cs.bell-labs.com/~jhr/moby/index.html">
94 :     The <STRONG>Moby</STRONG> programming language</A> &mdash; combining
95 :     object-oriented and functional programming.
96 :     <P>
97 :     <LI>
98 :     <A HREF="http://cm.bell-labs.com/cm/cs/what/smlnj/doc/ckit/index.html">
99 :     The <strong>ckit</strong> front end for C</A>
100 :     <P>
101 :     <LI>
102 :     <A HREF="http://www.cs.bu.edu/groups/church/">
103 :     The Church Project: Compiling with Flow Types</A>
104 :     <P>
105 :     <LI>
106 :     <A HREF="http://pauillac.inria.fr/cristal/index-eng.html">
107 :     Projet Cristal (Caml, Ocaml) at INRIA, Rocquencourt</A>
108 :     <P>
109 :     <LI>
110 :     <A HREF="http://www.cs.berkeley.edu/Research/Aiken/bane.html">
111 :     The Berkeley ANalysis Engine (BANE)</A>
112 :     <P>
113 :     <LI>
114 :     <A HREF="http://www.cs.virginia.edu/zephyr/">
115 :     The Zephyr Compiler Infrastructure project</A>
116 :     <P>
117 :     <LI>
118 :     <A HREF="http://www.cs.princeton.edu/zephyr/ASDL/">
119 :     The Zephyr Abstract Syntax Description Lanuguage (ASDL)</A>
120 :     <P>
121 :     <LI>
122 :     <A HREF="http://www.cs.virginia.edu/~nr/toolkit/">
123 :     The New Jersey Machine-Code Toolkit</A>
124 :     <P>
125 :     <LI>
126 :     <A HREF="http://research.microsoft.com/Users/simonpj/c--.html">
127 :     C--: a portable assembly language</A>
128 :     <P>
129 :     <LI>
130 :     <A HREF="http://foxnet.cs.cmu.edu/people/petel/papers/pcc/pcc.html">
131 :     Proof-Carrying Code at CMU</A>
132 :     <P>
133 :     <LI>
134 :     <A HREF="http://www.cs.princeton.edu/sip/projects/pcc/">
135 :     Proof-Carrying Code at Princeton</A>
136 :     <P>
137 :     <LI>
138 :     <A HREF="http://www.dcs.ed.ac.uk/home/dts/eml/">
139 :     Extended ML (specification and formal development of SML programs)</A>
140 :     <P>
141 :     <LI>
142 :     <A HREF="http://cap.anu.edu.au/cap/projects/paraml/">
143 :     The paraML project at ANU</A>
144 :     </UL>
145 :    
146 :     <h3>Other implementations of Standard ML (and subsets)</h3>
147 :     <UL>
148 :     <LI>
149 :     <A HREF="http://www.standardml.org">
150 :     The <strong>Standard ML SourceForge project</strong></A> at
151 :     <A HREF="http://www.standardml.org">www.standardml.org</A> is
152 :     intended to support all Standard ML implementations by collecting
153 :     common test suits, benchmarks, libraries, and documentation.
154 :     <P>
155 :     <LI>
156 :     <A HREF="http://www.polyml.org">
157 :     <strong>Poly/ML</strong></A>, <A
158 :     HREF="mailto:dcmj@dcs.ed.ac.uk">Dave Matthew's</A>
159 :     Standard ML compiler (formerly sold by Abstract,
160 :     Inc.) is now available as a free, open source implementation.
161 :     Version 4 implements SML '97.
162 :     <P>
163 :     <LI>
164 :     <A HREF="http://www.cs.bham.ac.uk/research/poplog/freepoplog.html">
165 :     <strong>Poplog Standard ML</strong></A>, now available as
166 :     free software
167 :     (SML '90)
168 :     <P>
169 :     <LI>
170 :     <A HREF="http://www.dina.kvl.dk/~sestoft/mosml.html">
171 :     <strong>Moscow ML</strong></A> (with Version 2.0, now
172 : macqueen 978 implements SML '97, including modules, with some
173 : macqueen 953 extensions)
174 :     <P>
175 :     <LI>
176 :     <A HREF="http://www.it-c.dk/research/mlkit/">
177 : macqueen 978 <strong>ML Kit</strong></A>. (Version 4 implements SML '97, uses region
178 : macqueen 953 analysis for memory management.)
179 :     <P>
180 :     <LI>
181 :     <A HREF="http://www.dcs.ed.ac.uk/home/mlj/index.html">
182 :     <strong>MLj</strong></A> (an SML '97 subset, compiling to the JVM with
183 :     extensions for working with Java)<BR>[MLj has moved
184 :     from Persimmon IT to Edinburgh.]
185 :     <P>
186 :     <LI>
187 : mblume 1257 <A HREF="http://www.mlton.org/"><strong>MLton</strong></A>,
188 : macqueen 979 a whole-program optimizing SML compiler. (SML '97)
189 : macqueen 953 <P>
190 :     <LI>
191 :     <strong>MLWorks</strong>, formerly a product of Harlequin
192 :     Ltd, is no longer available. With luck, it may return as free
193 :     software in the future. (SML '97)
194 :     <P>
195 :     </UL>
196 :    
197 :     <h3>The Caml dialect of ML</h3>
198 :     <UL>
199 :     <LI>
200 :     <A HREF="http://pauillac.inria.fr/ocaml/">
201 :     Objective Caml</A>
202 :     </UL>
203 :    
204 :    
205 :     <h3>Projects using ML</h3>
206 :     <UL>
207 :     <LI>
208 :     A list of
209 :     <A HREF="http://www.cs.princeton.edu/~appel/smlnj/projects.html">
210 :     Projects using ML</A> is maintained by
211 :     <A HREF="mailto:appel@princeton.edu">Andrew Appel</A>.
212 :     </UL>
213 :    
214 :     <h3>Miscellaneous</h3>
215 :     <UL>
216 :     <LI>
217 :     <A HREF="http://www.cs.cmu.edu/afs/cs/project/fox/mosaic/HomePage.html">
218 :     The Fox project at CMU</A>
219 :     <P>
220 :     <LI>
221 :     <A HREF="http://www.ai.mit.edu/projects/express/">
222 :     The Express project at MIT</A>
223 :     <P>
224 :     <LI>
225 :     <A HREF="http://foxnet.cs.cmu.edu/sml.html">
226 :     The Foxnet SML page</A>
227 :     <P>
228 :     <LI>
229 :     <A HREF="http://www.dcs.ed.ac.uk/home/tpcc/ML-Club/index.html">
230 :     The Edinburgh LFCS ML Club</A>
231 :     <P>
232 :     <LI>
233 :     <A HREF="http://dmoz.org/Computers/Programming/Languages/ML/">
234 :     The Open Directory Project ("dmoz") ML page
235 :     <P>
236 :     <LI>
237 :     <A HREF="http://www.yahoo.com/Computers_and_Internet/Programming_Languages/ML/">
238 :     The Yahoo! ML page
239 :     </UL>
240 :     </blockquote>
241 :     <HR>
242 :     <CENTER><STRONG>
243 :     | <A HREF="index.html">SML/NJ Home page
244 :     |
245 :     </STRONG></CENTER>
246 :     <HR>
247 :     Send your comments to <A HREF="mailto:sml-nj@research.bell-labs.com">sml-nj@research.bell-labs.com</A><BR>
248 :     <FONT SIZE="-3">
249 :     Copyright &#169; 1996,
250 :     <A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>.
251 :     <BR>
252 :     </FONT>
253 :     </BODY>
254 :     </HTML>
255 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0