[X] The "/gem/0.92.0/Release Notes/view" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

ATS is a programming language with an advanced type system rooted in the framework of Applied Type System. In ATS, a programming paradigm for effectively constructing highly dependable software is supported that combines programming with theorem proving.

Download Now! ats-lang-anairiats-0.1.6.... (1.6 MB) OR View all files

Browse Files for ATS language

File/Folder Name ↑ Platform Size Date  Downloads Notes/Subscribe
Newest Files
ats-lang-anairiats-0.1.6-linux-x86-32.tar.gz 698.2 KB 2009-09-14 22
ats-lang-anairiats-0.1.6-linux-x86-64.tar.gz 831.1 KB 2009-09-14 18
ats-lang-anairiats-0.1.6.tar.gz linux mac windows bsd solaris others 1.6 MB 2009-09-14 148 Release Notes
All Files Subscribe
ats-lang 22.9 MB 2009-09-14 1,525 Subscribe Folder view
anairiats-0.0.1 4.8 MB 2008-09-11 426 Subscribe Folder view
ats-lang-anairiats-0.0.1-linux-AMD64.tar.gz 725.5 KB 2008-09-11 46 Release Notes
ats-lang-anairiats-0.0.1-linux-i386.tar.gz 1.1 MB 2008-09-03 110 Release Notes
ats-lang-anairiats-0.0.1-SunOS-UltraSparc.gz 758.4 KB 2008-09-04 27 Release Notes
ats-lang-anairiats-0.0.1.tar.gz 2.2 MB 2008-09-03 243 Release Notes
anairiats-0.0.2 1.3 MB 2008-10-08 84 Subscribe Folder view
ats-lang-anairiats-0.0.2.tar.gz 1.3 MB 2008-10-08 84 Release Notes
anairiats-0.1.0 2.6 MB 2008-10-25 219 Subscribe Folder view
ats-lang-anairiats-0.1.0-linux-x86-32.tar.gz 580.3 KB 2008-10-25 61 Release Notes
ats-lang-anairiats-0.1.0-linux-x86-64.tar.gz 685.4 KB 2008-10-25 31 Release Notes
ats-lang-anairiats-0.1.0.tar.gz 1.3 MB 2008-10-25 127 Release Notes
anairiats-0.1.1 2.6 MB 2008-12-13 124 Subscribe Folder view
ats-lang-anairiats-0.1.1-linux-x86-32.tar.gz 589.6 KB 2008-12-13 29 Release Notes
ats-lang-anairiats-0.1.1-linux-x86-64.tar.gz 701.5 KB 2008-12-13 31 Release Notes
ats-lang-anairiats-0.1.1.tar.gz 1.3 MB 2008-12-13 64 Release Notes
anairiats-0.1.2 2.7 MB 2009-01-18 188 Subscribe Folder view
ats-lang-anairiats-0.1.2-linux-x86-32.tar.gz 623.9 KB 2009-01-18 43 Release Notes
ats-lang-anairiats-0.1.2-linux-x86-64.tar.gz 730.9 KB 2009-01-18 37 Release Notes
ats-lang-anairiats-0.1.2.tar.gz 1.4 MB 2009-01-18 108 Release Notes
anairiats-0.1.4 2.9 MB 2009-07-03 78 Subscribe Folder view
ats-lang-anairiats-0.1.4-linux-x86-64.tar.gz 758.5 KB 2009-05-17 9 Release Notes
ats-lang-anairiats-0.1.4-linux-x86.32.tar.gz 646.4 KB 2009-05-17 45 Release Notes
ats-lang-anairiats-0.1.4.tar.gz 1.5 MB 2009-07-03 24 Release Notes
anairiats-0.1.5 2.9 MB 2009-07-12 192 Subscribe Folder view
ats-lang-anairiats-0.1.5-linux-x86-32.tar.gz 692.9 KB 2009-07-12 19 Release Notes
ats-lang-anairiats-0.1.5-linux-x86-64.tar.gz 800.4 KB 2009-07-12 15 Release Notes
ats-lang-anairiats-0.1.5.tar.gz 1.4 MB 2009-07-12 158 Release Notes
anairiats-0.1.6 3.2 MB 2009-09-14 214 Subscribe Folder view
ats-lang-anairiats-0.1.6-linux-x86-32.tar.gz 698.2 KB 2009-09-14 22
ats-lang-anairiats-0.1.6-linux-x86-64.tar.gz 831.1 KB 2009-09-14 18
ats-lang-anairiats-0.1.6-release.html 714 Bytes 2009-09-14 26
ats-lang-anairiats-0.1.6.tar.gz linux mac windows bsd solaris others 1.6 MB 2009-09-14 148 Release Notes

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use