Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "formal-languages" keyword
language-toolkit 1.2.0.1
A set of tools for analyzing languages via logic and automata5 versions - Latest release: 16 days ago - 1 dependent package - 1 dependent repositories - 192 downloads total - 21 stars on GitHub - 1 maintainer
FormalGrammars 0.4.0.0
generalized Algebraic Dynamic Programming Context-free grammars in formal language theory are se...10 versions - Latest release: over 4 years ago - 4 dependent repositories - 8.49 thousand downloads total - 5 stars on GitHub - 1 maintainer
ADPfusion 0.6.0.0
generalized Algebraic Dynamic Programming ADPfusion combines stream-fusion (using the stream int...20 versions - Latest release: over 4 years ago - 8 dependent repositories - 19.3 thousand downloads total - 26 stars on GitHub - 1 maintainer
GrammarProducts 0.2.0.0
generalized Algebraic Dynamic Programming An algebra of linear and context-free grammars. This ...9 versions - Latest release: over 4 years ago - 1 dependent repositories - 7.32 thousand downloads total - 2 stars on GitHub - 1 maintainer
lindenmayer 0.1.0.1
L-systems in Haskell2 versions - Latest release: almost 9 years ago - 1 dependent repositories - 1.64 thousand downloads total - 7 stars on GitHub - 1 maintainer
ForestStructures 0.0.1.1
This library provides both static and dynamic tree and forest structures. Once a tree structure i...4 versions - Latest release: 11 months ago - 15 dependent repositories - 3.24 thousand downloads total - 3 stars on GitHub - 1 maintainer
dyckword 0.1.0.4
The binary Dyck language consists of all strings of evenly balanced left and right parentheses, b...4 versions - Latest release: about 7 years ago - 2.91 thousand downloads total - 0 stars on GitHub - 1 maintainer
GenussFold 0.0.0.2
generalized Algebraic Dynamic Programming Genus-1 RNA pseudoknot grammars implemented with a mul...2 versions - Latest release: almost 9 years ago - 1 dependent repositories - 1.73 thousand downloads total - 4 stars on GitHub - 1 maintainer
ADPfusionSet 0.0.0.2
generalized Algebraic Dynamic Programming Extensions of ADPfusion for set-(like) data structures.2 versions - Latest release: over 6 years ago - 1 dependent repositories - 2.01 thousand downloads total - 2 stars on GitHub - 1 maintainer
Forestry 0.0.0.1
Wikipedia on forestry: "the science and craft of creating, managing, using, conserving, and repai...1 version - Latest release: over 6 years ago - 1 dependent repositories - 1.02 thousand downloads total - 2 stars on GitHub - 1 maintainer
ADPfusionForest 0.0.0.1
ADPfusion for formal languages on tree and forest structures. This library connects @ForestStruct...1 version - Latest release: over 6 years ago - 1 dependent repositories - 1.09 thousand downloads total - 1 stars on GitHub - 1 maintainer
smt2-parser 0.1.0.1
Please see the README on GitHub at https://github.com/crvdgc/smt2-parser#readme2 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 630 downloads total - 1 stars on GitHub - 2 maintainers