Graph -containers

module Data.Graph.Inductive.Graph
fgl Data.Graph.Inductive.Graph
Static and Dynamic Inductive Graphs
class Graph gr
fgl Data.Graph.Inductive.Graph
Minimum implementation: empty, isEmpty, match, mkGraph, labNodes
module Data.Graph.Inductive.Graphviz
fgl Data.Graph.Inductive.Graphviz
Simple graphviz output.
package Graph500
Graph generator library and standalone graph generator. The generator allows you to generate your data once and then use it for benchmarking and debugging. Graph generation algorithm follows Graph500 specification Version 0.4.0
package Graphalyze
A library to use graph theory to analyse the relationships inherent in discrete data. Version
package GraphHammer
GraphHammer is a graph analyses framework. See GraphHammer.SimplestParallel for library documentation. Examples exists in GraphHammer-examples package: see GraphHammer.VertexDegree, GraphHammer.TriangleCount, GraphHammer.ClusteringCoefficients for examples. Version 0.3
package GraphHammer-examples
class Monad m => GraphM m gr
fgl Data.Graph.Inductive.Monad
type GraphRep a b = (Int, Array Node (Context' a b), IOArray Node Bool)
fgl Data.Graph.Inductive.Monad.IOArray
package GraphSCC
Tarjan's algorithm for computing the strongly connected components of a graph. Version 1.0.4
package graph-rewriting
This library provides a monadic EDSL to define your own port graph rewrite system in Haskell. Once you have specified the signature of your nodes and a set of rewrite rules, you can apply these rules on a graph to effect a graph transformation. The aim of this library is to make it as convenient as possible to define such a system and experiment with it and is not intended as a backend for high-performance computation. Version 0.7.4
package graph-rewriting-cl
Currently the following combinators are supported: S K I B C S B C' W Version 0.2.2
package graph-rewriting-gl
Once a graph rewriting system has been specified using the graph-rewriting library this package can be used to create an application that allows to experiment with this system by interactively applying the rewrite rules. The usage of the interface is the same for all applications. In the center you will see the graph. It might be moving around which is due the force-directed layouting. On the top-left corner you will find a menu with the individual rewriting rules of the rewriting system. The controls are described in the GraphRewriting.GL.UI module. Version 0.7.3
package graph-rewriting-lambdascope
Lambdascope is an optimal implementation of the -calculus described in the paper "Lambdascope - Another optimal implementation of the lambda-calculus" by Vincent van Oostrom, Kees-Jan van de Looij, and Marijn Zwitserlood. Call "lambdascope" with one of the files from the "examples" directory as an argument. For usage of the GUI see GraphRewriting.GL.UI. Use the "--lmo" flag for leftmost outermost evalution and "--bench" for non-graphical evaluation to weak head normal form. Version 0.5.4
package graph-rewriting-layout
Defines basic methods for force-directed node displacement that can be combined into an incremental graph-drawing procedure. See graph-rewriting-ski package for an example. Version 0.5.1
package graph-rewriting-ski
This package serves as an example for how to use the graph-rewriting, graph-rewriting-layout, and graph-rewriting-gl packages to create a graph rewriting system with an interactive, graphical front-end. The SKI combinator calculus is implemented once as an interaction net with combinators that accumulate their arguments, and once in a more direct manner. The sources (of the interaction net implementation) are well documented and serve as a tutorial for implementing your own rewrite system. Start reading in INet/Graph.hs. To run the program run either the "ski-inet" or the "ski-direct" with one of the files from the "examples" directory as an argument. For usage of the GUI see GraphRewriting.GL.UI. Version 0.6.2
package graph-rewriting-strategies
Defines a mechanism to add evaluation strategies to graph rewriting systems. Currently only leftmost-outermost reduction is implemented. Version 0.2.1
package graph-rewriting-trs
Given a set of term rewriting rules and an initial term with this tool you can interactively evaluate the corresponding term graph. The employed rule set has to be defined in one or more files. In the examples-directory a few rewriting systems are already supplied. To see how it works invoke the with the SKI-combinator rules and an initial term as arguments: trs examples/ski.trs "SK(S(KIS)K)I". On how to interact with the application see the GraphRewriting.GL.UI module of the graph-rewriting-gl package. Version 0.1.4
package graph-rewriting-ww
Evaluate a -letrec term in an interactive graph reduction system. It uses duplicators to explicitly render fully-lazy sharing according to Wadsworth's approach. Version 0.3.2
package graph-serialize
Serialization of data structures with references. Version 0.2

Show more results