Mosml - Moscow ML, a light-weight implementation of Standard ML

 
/ Linux Software Directory / Development / Languages / ML / Mosml 
Description:Moscow ML provides a light-weight implementation of Standard ML, a strict functional language widely used in teaching and research. The current version 1.43 implements the Standard ML Core language, a simple module system supporting separate compilation, and much of the new Standard ML Basis Library. (from rpm description)
Filter list:*|*|*|mosml*
Section maint.:SecRobot
Timestamp:2003-09-15 22:03 UTC

mosml/ in mosml-2.01-6.amd64.rpm
[DIR] - 816+ mirrors
mosml-2.01-6.amd64.rpm/usr/lib64/

mosml/ in mosml-2.01-6.amd64.rpm
[DIR] - 816+ mirrors
mosml-2.01-6.amd64.rpm/usr/src/examples/

mosml/ in mosml-2.01-6.amd64.rpm
[DIR] - 816+ mirrors
mosml-2.01-6.amd64.rpm/usr/include/

mosml in mosml-2.01-6.amd64.rpm
873 B
mosml-2.01-6.amd64.rpm/usr/bin/

Mosml.html in mosml-doc_2.01-0ubuntu2_amd64.deb
3.88 KB - 5 mirrors
mosml-doc_2.01-0ubuntu2_amd64.deb/usr/share/doc/mosml-doc/mosmllib/

Mosml.html in mosml-doc-2.01-6.i586.rpm
3.88 KB - 5 mirrors
mosml-doc-2.01-6.i586.rpm/usr/share/doc/mosml-doc-2.01/mosmllib/

Mosml.html in mosml-doc-2.01-6.i686.rpm
3.88 KB - 5 mirrors
mosml-doc-2.01-6.i686.rpm/usr/share/doc/mosml-doc-2.01/mosmllib/

mosml.h in mosml-2.01-6.amd64.rpm
107 B - 3 mirrors
mosml-2.01-6.amd64.rpm/usr/include/mosml/

Mosml.sig in mosml-2.01-6.amd64.rpm
2.47 KB - 3 mirrors
mosml-2.01-6.amd64.rpm/usr/lib64/mosml/

Mosml.uo in mosml-2.01-6.amd64.rpm
13.23 KB
mosml-2.01-6.amd64.rpm/usr/lib64/mosml/

Mosml.ui in mosml-2.01-6.amd64.rpm
9.09 KB
mosml-2.01-6.amd64.rpm/usr/lib64/mosml/

mosml in moscow_ml-2.01.tgz
883 B - 2 mirrors
moscow_ml-2.01.tgz/bin/

mosml in moscow_ml-2.01.tgz
883 B - 2 mirrors
moscow_ml-2.01.tgz/bin/

mosml/ (5)
[DIR] - 816+ mirrors
ftp.pl.freebsd.org/vol/rzm1/linux-gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 816+ mirrors
mirror.ovh.net/mirrors/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 816+ mirrors
ftp.pl.scene.org/vol/rzm1/linux-gentoo-portage/dev-lang/

mosml/ (6)
[DIR] - 816+ mirrors
ftp.guadalinex.org/ubuntu/pool/multiverse/m/

mosml/ (1)
[DIR] - 816+ mirrors
ftp.armedslack.org/slacky/slackware-12.2/development/

mosml/ (1)
[DIR] - 816+ mirrors
ftp.armedslack.org/slacky/slackware-12.1/development/

mosml/ (1)
[DIR] - 816+ mirrors
ftp.uk.freesbie.org/sites/distfiles.macports.org/

mosml/ (2)
[DIR] - 816+ mirrors
ftp.mirrorservice.org/sites/rsync.macports.org/release/ports/lang/

mosml/ (8)
[DIR] - 816+ mirrors
ftp.mirrorservice.org/sites/packages.macports.org/

mosml/ (9)
[DIR] - 816+ mirrors
ftp.de/pub/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 816+ mirrors
ftp.iitb.ac.in/distributions/gentoo/portage/dev-lang/

mosml/ (2)
[DIR] - 816+ mirrors
ftp.utexas.edu/pub/macports.old/release/ports/lang/

mosml/ (5)
[DIR] - 816+ mirrors
ftp.utexas.edu/pub/gentoo-portage/dev-lang/

mosml/ (9)
[DIR] - 816+ mirrors
ftp.nchu.edu.tw/Linux/Ubuntu/ubuntu/pool/multiverse/m/

mosml/ (4)
[DIR] - 816+ mirrors
ftp.gtlib.gatech.edu/nv/ao3/lxmirror/sourcemage/grimoire/codex/stable/devel/

mosml/ (15)
[DIR] - 816+ mirrors
ftp.dcsl.buffalo.edu/mirror/ubuntu/pool/multiverse/m/

mosml/ (15)
[DIR] - 816+ mirrors
ftp.dcsl.buffalo.edu/.snapshot/hourly.5/mirror/ubuntu/pool/multiverse/m/

mosml/ (15)
[DIR] - 816+ mirrors
ftp.dcsl.buffalo.edu/.snapshot/hourly.1/mirror/ubuntu/pool/multiverse/m/

mosml/ (15)
[DIR] - 816+ mirrors
ftp.dcsl.buffalo.edu/.snapshot/hourly.0/mirror/ubuntu/pool/multiverse/m/

mosml/ (6)
[DIR] - 816+ mirrors
ftp.highway1.com.au/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 816+ mirrors
mirror.bytemark.co.uk/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 816+ mirrors
ftp.halifax.rwth-aachen.de/gentoo-portage/dev-lang/

mosml/ (8)
[DIR] - 816+ mirrors
ftp2.uk.freebsd.org/sites/packages.macports.org/

mosml/ (5)
[DIR] - 816+ mirrors
mirrors.netnitco.net/pub/mirrors/gentoo/portage/dev-lang/

mosml/ (5)
[DIR] - 816+ mirrors
gnu.mirrors.tds.net/pub/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 816+ mirrors
root.allevil.org/pub/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 816+ mirrors
cpan.llarian.net/pub/gentoo-portage/dev-lang/

mosml/ (4)
[DIR] - 816+ mirrors
distro.ibiblio.org/sourcemage/grimoire/codex/stable-rc/devel/

mosml/ (1)
[DIR] - 816+ mirrors
quark.iphouse.net/ubuntu/pool/multiverse/m/

mosml/ (1)
[DIR] - 816+ mirrors
sourceforge.mirrorservice.org/sites/distfiles.macports.org/

mosml/ (5)
[DIR] - 816+ mirrors
2gis.nsu.ru/mirrors/ftp.ussg.iu.edu/gentoo-portage/dev-lang/

mosml/ (1)
[DIR] - 816+ mirrors
home.sergej.pp.ru/abs/unsupported/mo/

mosml/ (6)
[DIR] - 816+ mirrors
emlab.berkeley.edu/apt/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 816+ mirrors
sunsite.icm.edu.pl/vol/rzm1/linux-gentoo-portage/dev-lang/

mosml/ (6)
[DIR] - 816+ mirrors
mail2.sar.mbrd.ru/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 816+ mirrors
patroklos.noc.ntua.gr/pub/linux/gentoo-portage/dev-lang/

mosml/ (9)
[DIR] - 816+ mirrors
locke.catalyst.net.nz/pub/ubuntu/pool/multiverse/m/

Results by Filewatcher FTP Search