Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : GrammarProducts
generalized Algebraic Dynamic Programming An algebra of linear and context-free grammars. This library provides the implementation of our theory of algebraic operations over linear and context-free grammars. Using algebraic operations, it is possible to construct complex dynamic programming algorithms from simpler "atomic" grammars. Our most important contribution is the definition of a product of grammars which naturally leads to alignment-like algorithms on multiple tapes. An efficient implementation of the resulting grammars is possible via the ADPfusion framework. The FormalGrammars library provides the required "Template Haskell" machinery. GramarProducts can be integrated as a plugin into the existing transformation from DSL to ADPfusion. Haskell users can just use the QQ function provided in the .QQ module. Alternatively, the resulting grammars can also be pretty-printed in various ways (ANSI, Haskell module with signature and grammar). The formal background can be found in two papers given in the README. The gADP homepage has further details, tutorials, examples.
Registry
-
Source
- JSON
purl: pkg:hackage/GrammarProducts
Keywords: bioinformatics, formal-languages, gpl, library
License: GPL-3.0-only
Latest release: over 4 years ago
First release: over 10 years ago
Dependent repositories: 1
Downloads: 7,322 total
Stars: 2 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 23 days ago