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 update
For questions and bugs with software in this PPA please contact Albert Graef.
PPA statistics
- Activity
- 0 updates added during the past month.
Overview of published packages
| 1 → 41 of 41 results | First • Previous • Next • Last |
| Package | Version | Uploaded by |
|---|---|---|
|
|
2.11.14+git20181111+10155-1 | Albert Graef () |
|
|
2.16-1 | Albert Graef () |
|
|
0.9.96+20130131-4 | Albert Graef () |
|
|
0.9.96+20130128-2 | Albert Graef () |
|
|
0.9.95-5 | Albert Graef () |
|
|
0.9.95-5 | Albert Graef () |
|
|
0.68-1 | Albert Graef () |
|
|
0.18-1 | Albert Graef () |
|
|
0.26-1 | Albert Graef () |
|
|
0.68-1 | Albert Graef () |
|
|
0.6-1 | Albert Graef () |
|
|
0.4-1 | Albert Graef () |
|
|
1.6-2 | Albert Graef () |
|
|
0.7-2 | Albert Graef () |
|
|
0.68-1 | Albert Graef () |
|
|
0.6-1 | Albert Graef () |
|
|
0.13-1 | Albert Graef () |
|
|
0.15-1 | Albert Graef () |
|
|
0.3-2 | Albert Graef () |
|
|
0.20-2 | Albert Graef () |
|
|
0.9-1 | Albert Graef () |
|
|
0.5-1 | Albert Graef () |
|
|
0.1-3 | Albert Graef () |
|
|
0.12-2 | Albert Graef () |
|
|
0.13-1 | Albert Graef () |
|
|
0.9-1 | Albert Graef () |
|
|
0.5-1 | Albert Graef () |
|
|
0.2-1 | Albert Graef () |
|
|
0.6-1 | Albert Graef () |
|
|
0.5-1 | Albert Graef () |
|
|
0.12-1 | Albert Graef () |
|
|
0.10-1 | Albert Graef () |
|
|
0.1-3 | Albert Graef () |
|
|
0.3-1 | Albert Graef () |
|
|
0.4-1 | Albert Graef () |
|
|
0.8-1 | Albert Graef () |
|
|
0.5-1 | Albert Graef () |
|
|
0.8-1 | Albert Graef () |
|
|
0.6-1 | Albert Graef () |
|
|
0.5-2 | Albert Graef () |
|
|
0.7-1 | Albert Graef () |
| 1 → 41 of 41 results | First • Previous • Next • Last |
