Packages tagged formal-languages
11 packages have this tag.
[Merge tag] (trustees only)Related tags: library (11), bioinformatics (8), bsd3 (6), gpl (3), algorithms (2), data-structures (2), mit (2), program (2), language (1), smt (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
ADPfusion | 48 | 0.0 | 15 | Efficient, high-level dynamic programming. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2019-10-01 | 0.6.0.0 | ChristianHoener |
ADPfusionForest | 3 | 0.0 | 1 | Dynamic programming on tree and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | 0.0.0.1 | ChristianHoener |
ADPfusionSet | 5 | 0.0 | 3 | Dynamic programming for Set data structures. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2017-10-19 | 0.0.0.2 | ChristianHoener |
ForestStructures | 28 | 0.0 | 5 | Tree- and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2018-12-11 | 0.0.1.0 | ChristianHoener |
Forestry | 4 | 0.0 | 1 | Comparison of trees and forests. | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | 0.0.0.1 | ChristianHoener |
FormalGrammars | 22 | 0.0 | 9 | (Context-free) grammars in formal language theory | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | 0.4.0.0 | ChristianHoener |
GenussFold | 5 | 0.0 | 0 | MCFGs for Genus-1 RNA Pseudoknots | (bioinformatics, formal-languages, gpl, library, program) | 2015-07-16 | 0.0.0.2 | ChristianHoener |
GrammarProducts | 19 | 0.0 | 4 | Grammar products and higher-dimensional grammars | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | 0.2.0.0 | ChristianHoener |
language-toolkit | 6 | 0.0 | 0 | A set of tools for analyzing languages via logic and automata | (formal-languages, library, mit, program) | 2022-03-29 | 1.0.1.0 | dakotah_lambert |
lindenmayer | 5 | 0.0 | 1 | L-systems in Haskell | (formal-languages, library, mit) | 2015-06-07 | 0.1.0.1 | reinh |
smt2-parser | 41 | 0.0 | 1 | A Haskell parser for SMT-LIB version 2.6 | (bsd3, formal-languages, language, library, smt) | 2022-10-08 | 0.1.0.1 | liuyuxi, haskell_github_trust |