Package: ats-lang-anairiats (0.2.3-1 and others)

[ Source: ats-lang-anairiats  ]

The ATS language compiler Anairiats

ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.

In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.

This package contains the compiler atsopt, the frontend atscc, and the lexer atslex.

Other Packages Related to ats-lang-anairiats

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  also a virtual package provided by libc0.1-udeb

• dep: libc6 (>= 2.13) [s390x]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.13-28) [armhf]

  dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel]

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.3) [ia64]

  Die »Embedded GNU C Library«: Laufzeitbibliotheken
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.4.0) [armel, armhf]

  GCC Support-Bibliothek

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

• rec: libcairo2-dev

  Entwicklungsdateien für die 2D-Grafikbibliothek Cairo

• rec: libgmp3-dev

  Mehrfach genaue Arithmetikbibliothek - Entwicklungswerkzeuge

• rec: libgtk2.0-dev

  Entwicklungsdateien für die GTK+-Bibliothek

• rec: libpcre3-dev

  Perl 5-kompatible Bibliothek für reguläre Ausdrücke - Entwicklungsdateien

• rec: libsdl1.2-dev

  Simple DirectMedia Layer (Entwicklungsdateien)

• sug: ats-lang-anairiats-doc

  Documentation for the ATS compiler Anairiats

• sug: ats-lang-anairiats-examples

  Examples for the ATS compiler Anairiats

Download ats-lang-anairiats

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	0.2.3-1+b3	1,108.4 kB	5,654.0 kB	[list of files]
armel	0.2.3-1+b2	1,002.2 kB	5,398.0 kB	[list of files]
armhf	0.2.3-1+b2	968.4 kB	5,114.0 kB	[list of files]
i386	0.2.3-1+b3	1,089.3 kB	5,738.0 kB	[list of files]
ia64	0.2.3-1+b3	1,360.3 kB	7,627.0 kB	[list of files]
kfreebsd-amd64	0.2.3-1+b3	8,968.2 kB	28,799.0 kB	[list of files]
kfreebsd-i386	0.2.3-1+b3	1,080.0 kB	5,426.0 kB	[list of files]
mips	0.2.3-1+b2	1,027.7 kB	5,889.0 kB	[list of files]
mipsel	0.2.3-1+b2	1,014.2 kB	5,889.0 kB	[list of files]
powerpc	0.2.3-1+b2	1,045.8 kB	5,677.0 kB	[list of files]
s390	0.2.3-1+b2	1,090.9 kB	5,804.0 kB	[list of files]
s390x	0.2.3-1+b3	1,127.7 kB	6,061.0 kB	[list of files]
sparc	0.2.3-1+b2	1,003.5 kB	5,521.0 kB	[list of files]