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

SCM Repository

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

View of /pages/trunk/links.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3490 - (download) (as text) (annotate)
Sat Feb 6 23:16:20 2010 UTC (9 years, 9 months ago) by jriehl
File size: 8154 byte(s)
Commented out some broken links and updated current working release to 110.72.
<!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->

<HTML>
  <TITLE>SML/NJ: Links</TITLE>
<!-- Changed by: John Reppy,  29-Sept-1999 -->
<BODY BGCOLOR="ffffff">
<CENTER>
<H2>Links to other SML resources</H2>
</CENTER>
<blockquote>
Please feel free to send 
additional URLs that should be on this list to <img src="smlnj-list-logo.jpg" align=center><BR>
<h3>SML Programming Resources</h3>
<UL>
  <LI> 
     <A HREF="http://cml.cs.uchicago.edu/index.html">
	Concurrent ML</A>
      <P>
  <LI>
     <A HREF="http://www.informatik.uni-bremen.de/~cxl/sml_tk/">
	sml_tk</A>, a library for using the TK graphical interface,
        now updated to version 3.0
      <P>
<!-- Broken link reported 2/2010:
  <LI> Nikolaj Bjorner's
	<A HREF="ftp://rodin.stanford.edu/pub/sml-utilities/">utility modules</A>
        for bags, rings, and graph manipulation
      <P>
-->
  <LI> Martin Erwig's 
       <A HREF="http://www.cs.orst.edu/~erwig/fgl/">
	Functional Graph Library</A>
      <P>
  <LI> Yi and Ryu's 
       <A HREF="https://sourceforge.net/projects/smlnjexnanalyze/">
       SML/NJ exception analyzer</A>
      <P>
<!-- Broken link reported 2/2010:
  <LI> Edoardo Biagioni's 
       <A HREF="http://www.ics.hawaii.edu/~esb/smldb/index.html">smldb</A>,
       a simple database package
      <P>
-->
<!-- Broken link reported 2/2010:
  <LI> Dan Wang's 
       <A HREF="http://www.cs.princeton.edu/~danwang/sml/query.tar.gz">
       query interface</A> for talking to a Postress SQL server
      <P>
-->
  <LI> ÁNOQ of the Sun's 
       <A HREF="http://www.HardcoreProcessing.com/Freeware/SDLML.html">
       SDL::ML</A>.  "Standard ML bindings for Sam Lantiga's SDL library.
       SDL stands for Simple DirectMedia Layer and it is a library for
       creating sound, fast graphics, getting mouse and keyboard input etc."
       This works with MLton and MLKit, but hopefully it will get
       ported to SML/NJ.
      <P>
  <LI>
See also the contributed tools and libraries available in the
<A HREF="software.html#contrib">contrib</A> directory
of the SML/NJ ftp site.
</UL>

<h3>Related Compiler Research Projects</h3>
<UL>
  <LI>
    <A HREF="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html">
       The MLRISC code generator system</A>
      <P>
  <LI>
    <A HREF="http://flint.cs.yale.edu">
       The FLINT project at Yale</A>
      <P>
  <LI>
    <A HREF="http://ropas.kaist.ac.kr/let-e.html">
       The LET project at KAIST</A>
      <P>
  <LI>
    <A HREF="http://simon.cs.cornell.edu/Info/People/jgm/tilt.html">
       The TILT Compiler project at Cornell and CMU</A>
      <P>
  <LI>
    <A HREF="http://simon.cs.cornell.edu/home/walker/talnet/tal.html">
       The TAL (Typed Assembly Language) project at Cornell</A>
      <P>
  <LI>
    <A HREF="http://www.diku.dk/research-groups/topps/activities/mlkit.html">
       The ML Kit project at DIKU</A>
      <P>
  <LI>
    <A HREF="http://www.mlton.org/">
       The MLton whole-program optimizing SML compiler.  (SML '97)
      <P>
  <LI>
    <A HREF="http://www.dcs.ed.ac.uk/home/stg/DynamicML/">
       The Dynamic ML project at Edinburgh</A>
      <P>
  <LI>
    <A HREF="http://moby.cs.uchicago.edu/index.html">
	The <STRONG>Moby</STRONG> programming language</A> &mdash; combining
	object-oriented and functional programming.
	<P>
  <LI>
    <A HREF="http://www.smlnj.org/doc/ckit/index.html">
       The <strong>ckit</strong> front end for C</A>
      <P>
  <LI>
    <A HREF="http://www.cs.bu.edu/groups/church/">
       The Church Project: Compiling with Flow Types</A>
      <P>
  <LI>
    <A HREF="http://pauillac.inria.fr/cristal/index-eng.html">
       Projet Cristal (Caml, Ocaml) at INRIA, Rocquencourt</A>
      <P>
  <LI>
    <A HREF="http://www.cs.berkeley.edu/Research/Aiken/bane.html">
       The Berkeley ANalysis Engine (BANE)</A>
      <P>
  <LI>
    <A HREF="http://www.cs.virginia.edu/zephyr/">
       The Zephyr Compiler Infrastructure project</A>
      <P>
  <LI>
    <A HREF="http://www.cs.princeton.edu/zephyr/ASDL/">
       The Zephyr Abstract Syntax Description Lanuguage (ASDL)</A>
      <P>
  <LI>
    <A HREF="http://www.cs.virginia.edu/~nr/toolkit/">
       The New Jersey Machine-Code Toolkit</A>
      <P>
  <LI>
    <A HREF="http://research.microsoft.com/Users/simonpj/c--.html">
       C--: a portable assembly language</A>
      <P>
  <LI>
    <A HREF="http://foxnet.cs.cmu.edu/people/petel/papers/pcc/pcc.html">
       Proof-Carrying Code at CMU</A>
      <P>
  <LI>
    <A HREF="http://www.cs.princeton.edu/sip/projects/pcc/">
       Proof-Carrying Code at Princeton</A>
      <P>
  <LI>
    <A HREF="http://www.dcs.ed.ac.uk/home/dts/eml/">
      Extended ML (specification and formal development of SML programs)</A>
      <P>
  <LI>
    <A HREF="http://cap.anu.edu.au/cap/projects/paraml/">
      The paraML project at ANU</A>
</UL>

<h3>Other implementations of Standard ML (and subsets)</h3>
<UL>
  <LI>
    <A HREF="http://www.standardml.org">
The <strong>Standard ML SourceForge project</strong></A> at
<A HREF="http://www.standardml.org">www.standardml.org</A> is
intended to support all Standard ML implementations by collecting
common test suits, benchmarks, libraries, and documentation.
    <P>	  
  <LI>
    <A HREF="http://www.polyml.org">
    <strong>Poly/ML</strong></A>, <A
	    HREF="mailto:dcmj@dcs.ed.ac.uk">Dave Matthew's</A>
     Standard ML compiler (formerly sold by Abstract,
     Inc.) is now available as a free, open source implementation.
     Version 4 implements SML '97.
    <P>	  
  <LI>
    <A HREF="http://www.cs.bham.ac.uk/research/poplog/freepoplog.html">
       <strong>Poplog Standard ML</strong></A>, now available as
	free software
     (SML '90)
      <P>
  <LI>
    <A HREF="http://www.dina.kvl.dk/~sestoft/mosml.html">
       <strong>Moscow ML</strong></A> (with Version 2.0, now
		implements SML '97, including modules, with some
		extensions)
      <P>
  <LI>
    <A HREF="http://www.it-c.dk/research/mlkit/">
       <strong>ML Kit</strong></A>.  (Version 4 implements SML '97, uses region
       analysis for memory management.)
      <P>
  <LI>
    <A HREF="http://www.dcs.ed.ac.uk/home/mlj/index.html">
       <strong>MLj</strong></A> (an SML '97 subset, compiling to the JVM with
	  extensions for working with Java)<BR>[MLj has moved
	  from Persimmon IT to Edinburgh.]
      <P>
  <LI>
    <A HREF="http://www.mlton.org/"><strong>MLton</strong></A>,
       a whole-program optimizing SML compiler. (SML '97)
      <P>
  <LI>
    <strong>MLWorks</strong>, formerly a product of Harlequin
       Ltd, is no longer available. With luck, it may return as free
       software in the future. (SML '97)
      <P>
</UL>

<h3>The Caml dialect of ML</h3>
<UL>
<LI>
    <A HREF="http://pauillac.inria.fr/ocaml/">
       Objective Caml</A>
</UL>


<h3>Projects using ML</h3>
<UL>
<LI>
   A list of 
    <A HREF="http://www.cs.princeton.edu/~appel/smlnj/projects.html">
    Projects using ML</A> is maintained by
    <A HREF="mailto:appel@princeton.edu">Andrew Appel</A>.
</UL>

<h3>Miscellaneous</h3>
<UL>
  <LI>
    <A HREF="http://www.cs.cmu.edu/afs/cs/project/fox/mosaic/HomePage.html">
       The Fox project at CMU</A>
      <P>
  <LI>
    <A HREF="http://www.ai.mit.edu/projects/express/">
       The Express project at MIT</A>
      <P>
  <LI>
<!-- Broken link reported 2/2010:
    <A HREF="http://foxnet.cs.cmu.edu/sml.html">
       The Foxnet SML page</A>
      <P>
-->
  <LI>
    <A HREF="http://www.dcs.ed.ac.uk/home/tpcc/ML-Club/index.html">
       The Edinburgh LFCS ML Club</A>
      <P>
  <LI>
    <A HREF="http://dmoz.org/Computers/Programming/Languages/ML/">
       The Open Directory Project ("dmoz") ML page
      <P>
  <LI>
    <A HREF="http://www.yahoo.com/Computers_and_Internet/Programming_Languages/ML/">
       The Yahoo! ML page
</UL>
</blockquote>
<HR>
<CENTER><STRONG>
| <A HREF="index.html">SML/NJ Home page
|
</STRONG></CENTER>
<HR>
Send your comments to <img src="smlnj-list-logo.jpg" align=center><BR>
<FONT SIZE="-3">
  Copyright &#169; 1996,
  <A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>.
  <BR>
</FONT>
</BODY>
</HTML>


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