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] - 994+ mirrors
mosml-2.01-6.amd64.rpm/usr/include/

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

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

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

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

mosml/ (5)
[DIR] - 994+ mirrors
ftp.gr.freebsd.org/pub/linux/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.tr.debian.org/gentoo-portage/dev-lang/

mosml/ (6)
[DIR] - 994+ mirrors
ftp.nz.debian.org/gentoo-x86-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.ru.debian.org/gentoo-portage/dev-lang/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.pld-linux.org/pool/m/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.ac.pld-linux.org/pool/m/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.atm.pld-linux.org/pool/m/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.iso.pld-linux.org/pool/m/

mosml/ (5)
[DIR] - 994+ mirrors
mirror.msu.net/pub/gentoo-portage/dev-lang/

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

mosml/ (5)
[DIR] - 994+ mirrors
mirror.lstn.net/gentoo/gentoo-x86-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.linux.org.tr/gentoo-portage/dev-lang/

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

mosml/ (5)
[DIR] - 994+ mirrors
ftp.gr.freesbie.org/pub/linux/gentoo-portage/dev-lang/

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

mosml/ (5)
[DIR] - 994+ mirrors
mirror.de.leaseweb.net/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
mirror.nl.leaseweb.net/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
mirror.us.oneandone.net/linux/distributions/gentoo/gentoo-portage/dev-lang/

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

mosml/ (9)
[DIR] - 994+ mirrors
ftp.radiomaryja.pl.eu.org/vol/rzm3/linux-pld-linux/pool/m/

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

mosml/ (5)
[DIR] - 994+ mirrors
ftp.sa-blacklist.stearns.org/pub/linux/gentoo-portage/dev-lang/

mosml/ (6)
[DIR] - 994+ mirrors
ftp.upf.br/pub/linux/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.edu.ee/gentoo-portage/dev-lang/

mosml/ (6)
[DIR] - 994+ mirrors
ftp.itl.ua/.2/gentoo.org/gentoo-portage/dev-lang/

mosml/ (1)
[DIR] - 994+ mirrors
ftp.ui.edu/slacky/slackware-12.2/development/

mosml/ (1)
[DIR] - 994+ mirrors
ftp.ui.edu/slacky/slackware-12.1/development/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.klid.dk/ubuntu/pool/multiverse/m/

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

mosml/ (9)
[DIR] - 994+ mirrors
ftp.wcss.pl/pub/linux/ubuntu/pool/multiverse/m/

mosml/ (18)
[DIR] - 994+ mirrors
ftp.kspu.ru/mirrors/ubuntu-hardy/pool/multiverse/m/

mosml/ (10)
[DIR] - 994+ mirrors
ftp.kspu.ru/mirrors/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.yandex.ru/gentoo-portage/dev-lang/

mosml/ (3)
[DIR] - 994+ mirrors
ftp.sun.ac.za/pub/mirrors/ubuntu.com/pool/multiverse/m/

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

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

mosml/ (5)
[DIR] - 994+ mirrors
ftp.uni-kl.de/pub/linux/gentoo-portage/dev-lang/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.prz.edu.pl/pub/gentoo/portage/dev-lang/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.acc.umu.se/mirror/temp/ubuntu-test/pool/multiverse/m/

mosml/ (9)
[DIR] - 994+ mirrors
ftp.monash.edu/pub/linux/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 994+ mirrors
ftp.neu.edu.tr/pub/linux/gentoo-portage/dev-lang/

mosml/ (6)
[DIR] - 994+ mirrors
ftp.upf.tche.br/pub/linux/ubuntu/pool/multiverse/m/

mosml/ (5)
[DIR] - 994+ mirrors
mirror.rdsbv.ro/mirrors/gentoo-portage/dev-lang/

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

mosml/ (9)
[DIR] - 994+ mirrors
ftp.info.uvt.ro/ubuntu/pool/multiverse/m/

Results by Filewatcher FTP Search