Pure (Xenial)

PPA description

Ubuntu Xenial (16.04) packages for the Pure programming language

Pure is a modern-style functional programming language based on term
rewriting. It offers equational definitions with pattern matching, full
symbolic rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix support and an easy-to-use C interface. The interpreter uses LLVM as a backend to JIT-compile Pure programs to fast native code.

The PPA also offers a complete collection of various addon packages for
scientific, web, database, GUI, graphics and multimedia programming. The
following metapackages are provided to ease installation of the various
collections: pure-base, pure-graphics, pure-math, pure-multimedia, pure-util, pure-web. You can also just install the pure-complete package to get the entire shebang. Moreover, the PPA also contains packages for Faust, Grame's functional signal processing language, which is needed for Pure's Faust interface and some of the multimedia modules.

Please check the Pure website for more information:

https://agraef.github.io/pure-lang/

To add this PPA to your system:

sudo add-apt-repository ppa:dr-graef/pure-lang.xenial

Adding this PPA to your system

You can update your system with unsupported packages from this untrusted PPA by adding ppa:dr-graef/pure-lang.xenial to your system's Software Sources. (Read about installing)

sudo add-apt-repository ppa:dr-graef/pure-lang.xenial
sudo apt-get update
        
Technical details about this PPA

This PPA can be added to your system manually by copying the lines below and adding them to your system's software sources.

deb http://ppa.launchpad.net/dr-graef/pure-lang.xenial/ubuntu xenial main 
deb-src http://ppa.launchpad.net/dr-graef/pure-lang.xenial/ubuntu xenial main 
Signing key:
1024R/71973A33CEA6485DB0881BDC3202BC2C212F093B (What is this?)
Fingerprint:
71973A33CEA6485DB0881BDC3202BC2C212F093B

For questions and bugs with software in this PPA please contact Albert Graef.

PPA statistics

Activity
9 updates added during the past month.
View package details

Overview of published packages

141 of 41 results
Package Version Uploaded by
faust 2.5.29+git20180328+9658-1 Albert Graef (2018-03-28)
faust2pd 2.16-1 Albert Graef (2018-01-16)
gnocl 0.9.96+20130131-4 Albert Graef (2016-06-07)
gnocl-builder 0.9.96+20130128-2 Albert Graef (2016-06-07)
gnocl-canvas 0.9.95-5 Albert Graef (2016-06-07)
gnocl-gconf 0.9.95-5 Albert Graef (2016-06-07)
libpure-pcre 0.68-1 Albert Graef (2018-04-12)
pd-faust 0.16-1 Albert Graef (2018-02-25)
pd-pure 0.25-1 Albert Graef (2018-02-25)
pure 0.68-1 Albert Graef (2018-04-11)
pure-audio 0.6-1 Albert Graef (2016-06-05)
pure-avahi 0.4-1 Albert Graef (2018-04-11)
pure-csv 1.6-2 Albert Graef (2016-06-05)
pure-doc 0.7-2 Albert Graef (2016-06-05)
pure-docs 0.68-1 Albert Graef (2018-04-11)
pure-fastcgi 0.6-1 Albert Graef (2016-06-05)
pure-faust 0.13-1 Albert Graef (2018-01-16)
pure-ffi 0.15-1 Albert Graef (2018-04-11)
pure-g2 0.3-2 Albert Graef (2016-06-05)
pure-gen 0.20-2 Albert Graef (2017-01-09)
pure-gl 0.9-1 Albert Graef (2016-06-05)
pure-glpk 0.5-1 Albert Graef (2016-06-05)
pure-gplot 0.1-3 Albert Graef (2016-06-05)
pure-gsl 0.12-2 Albert Graef (2016-06-05)
pure-gtk 0.13-1 Albert Graef (2016-06-05)
pure-liblo 0.9-1 Albert Graef (2016-06-05)
pure-lilv 0.5-1 Albert Graef (2018-04-11)
pure-lv2 0.2-1 Albert Graef (2016-06-05)
pure-midi 0.6-1 Albert Graef (2016-06-05)
pure-mpfr 0.5-1 Albert Graef (2016-06-05)
pure-octave 0.10-1 Albert Graef (2018-04-11)
pure-odbc 0.10-1 Albert Graef (2016-06-05)
pure-rational 0.1-3 Albert Graef (2016-06-05)
pure-readline 0.3-1 Albert Graef (2016-06-05)
pure-reduce 0.4-1 Albert Graef (2016-06-05)
pure-sockets 0.8-1 Albert Graef (2018-04-11)
pure-sql3 0.5-1 Albert Graef (2016-06-05)
pure-stldict 0.8-1 Albert Graef (2016-06-05)
pure-stllib 0.6-1 Albert Graef (2016-06-05)
pure-tk 0.5-2 Albert Graef (2016-06-05)
pure-xml 0.7-1 Albert Graef (2016-06-05)
141 of 41 results

Latest updates

  • libpure-pcre 9 days ago
    Successfully built
  • pure-octave 10 days ago
    Successfully built
  • pure-sockets 10 days ago
    Successfully built
  • pure-ffi 10 days ago
    Successfully built
  • pure-lilv 10 days ago
    Successfully built