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

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

• fregel-1.2.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• KentoEmoto

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates