fregel: A functional DSL for vertex-centric large-scale graph processing

[ language, mit, program ] [ Propose Tags ]

Fregel (Functional Pregel) is a functional domain-specific language for developing programs of vertex-centric (i.e., Pregel) style of big graph processing, in which the computation at every vertex is abstracted as a higher-order function. Fregel has clear functional semantics and supports declarative description of vertex computation.

The current Fregel processor is a translator (compiler) from Fregel code into Giraph code in Java / Pregel+ code in C++.

Technical details can be found in the JFP paper (DOI: https://doi.org/10.1017/S0956796821000277 ).

Note that some optimization options need Z3, an SMT solver, to be installed in your system.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.2.0
Change log CHANGELOG.md
Dependencies array (>=0.5.4.0 && <0.6), base (>=4.14.0.0 && <4.19.0.0), groom (>=0.1.2.1 && <0.2), mtl (>=2.2.2 && <2.3), process (>=1.6.16.0 && <1.7) [details]
License MIT
Author Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
Maintainer emoto@csn.kyutech.ac.jp, iwasaki@cs.meiji.ac.jp
Category Language
Home page https://ipl.cs.uec.ac.jp/~iwasaki/Fregel
Uploaded by KentoEmoto at 2023-07-20T07:34:56Z
Distributions NixOS:1.2.0
Executables fregel
Downloads 20 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2023-07-20 [all 1 reports]