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 6752 - (view) (download) (as text)

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

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