The Paraiso package
The purpose of this project is to design a high-level language for implementing explicit partial-differential equations solvers on supercomputers as well as today’s advanced personal computers. A language to describe the knowledge on algebraic concepts, physical equations, integration algorithms, optimization techniques, and hardware designs --- all the necessaries of the simulations in abstract, modular, re-usable and combinable forms.
How to use
The module Language.Paraiso.OM.Builder contains the Builder monad, its typeclass instance declarations and functions that can be used to build Paraiso programs. Reserved words are load, store, imm, loadIndex, loadSize, shift, reduce and broadcast.
Paraiso frontend uses Data.Tensor.Typelevel http://hackage.haskell.org/package/typelevel-tensor, the library for tensor calculus of arbitrary rank and dimension. Vector and Axis are two main concepts. The type Vector represents rank-1 tensor, and tensors of higher ranks are recursively defined as Vector of Vectors. With Axis you can refer to the components of Vectors, compose them, or contract them. See the wiki for more detail: http://www.paraiso-lang.org/wiki/
0.1.0.0 Binary : enhanced backend, code generator for OpenMP and CUDA
0.0.0.0 Atmosphere : code generator for single CPU
Properties
| Versions | 0.0.0.0, 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.3.0.0, 0.3.1.0, 0.3.1.1, 0.3.1.2 |
|---|---|
| Dependencies | base (4.*), containers (≥0.4.0 & <0.5), control-monad-failure (≥0.7.0 & <0.8), directory (≥1.1.0 & <1.2), fgl (≥5.4.2 & <5.5), filepath (≥1.2.0 & <1.3), ListLike (≥3.1.1 & <3.2), listlike-instances (0.1.*), mtl (≥2.0.1 & <2.1), numeric-prelude (≥0.2.1 & <0.3), process (1.0.1.*), random (≥1.0.0 & <1.1), text (≥0.11.1 & <0.12), typelevel-tensor (≥0.1), vector (0.7.1.*) |
| License | BSD3 |
| Author | Takayuki Muranushi |
| Maintainer | muranushi@gmail.com |
| Category | Language |
| Home page | http://www.paraiso-lang.org/wiki/index.php/Main_Page |
| Source repository | git clone https://github.com/nushio3/Paraiso |
| Upload date | Sat Oct 15 09:33:20 UTC 2011 |
| Uploaded by | TakayukiMuranushi |
| Build failure | ghc-7.2 (log) |
Modules
- Language
- Language.Paraiso
- Language.Paraiso.Annotation
- Language.Paraiso.Annotation.Allocation
- Language.Paraiso.Annotation.Balloon
- Language.Paraiso.Annotation.Boundary
- Language.Paraiso.Annotation.Comment
- Language.Paraiso.Annotation.Dependency
- Language.Paraiso.Annotation.Execution
- Language.Paraiso.Failure
- Language.Paraiso.Generator
- Language.Paraiso.Generator.Claris
- Language.Paraiso.Generator.ClarisTrans
- Language.Paraiso.Generator.Native
- Language.Paraiso.Generator.OMTrans
- Language.Paraiso.Generator.Plan
- Language.Paraiso.Generator.PlanTrans
- Language.Paraiso.Interval
- Language.Paraiso.Name
- Language.Paraiso.OM
- Language.Paraiso.OM.Arithmetic
- Language.Paraiso.OM.Builder
- Language.Paraiso.OM.Builder.Boolean
- Language.Paraiso.OM.Builder.Internal
- Language.Paraiso.OM.DynValue
- Language.Paraiso.OM.Graph
- Language.Paraiso.OM.PrettyPrint
- Language.Paraiso.OM.Realm
- Language.Paraiso.OM.Reduce
- Language.Paraiso.OM.Value
- Language.Paraiso.Optimization
- Language.Paraiso.Optimization.BoundaryAnalysis
- Language.Paraiso.Optimization.DeadCodeElimination
- Language.Paraiso.Optimization.DecideAllocation
- Language.Paraiso.Optimization.DependencyAnalysis
- Language.Paraiso.Optimization.Graph
- Language.Paraiso.Optimization.Identity
- Language.Paraiso.Orthotope
- Language.Paraiso.PiSystem
- Language.Paraiso.Prelude
- Language.Paraiso.Annotation
- Language.Paraiso
Downloads
- Paraiso-0.1.0.2.tar.gz (Cabal source package)
- package description (included in the package)