Packages tagged formal-languages
10 packages have this tag.
[Merge tag] (trustees only)
Related tags: library (10), bioinformatics (8), bsd3 (6), gpl (3), algorithms (2), data-structures (2), language (1), mit (1), program (1), smt (1)
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
| ADPfusion | 109 | 0.0 | Efficient, high-level dynamic programming. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2019-10-01 | ChristianHoener |
| ADPfusionForest | 12 | 0.0 | Dynamic programming on tree and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | ChristianHoener |
| ADPfusionSet | 13 | 0.0 | Dynamic programming for Set data structures. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2017-10-19 | ChristianHoener |
| ForestStructures | 19 | 0.0 | Tree- and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2018-12-11 | ChristianHoener |
| Forestry | 9 | 0.0 | Comparison of trees and forests. | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | ChristianHoener |
| FormalGrammars | 57 | 0.0 | (Context-free) grammars in formal language theory | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | ChristianHoener |
| GenussFold | 10 | 0.0 | MCFGs for Genus-1 RNA Pseudoknots | (bioinformatics, formal-languages, gpl, library, program) | 2015-07-16 | ChristianHoener |
| GrammarProducts | 56 | 0.0 | Grammar products and higher-dimensional grammars | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | ChristianHoener |
| lindenmayer | 16 | 0.0 | L-systems in Haskell | (formal-languages, library, mit) | 2015-06-07 | reinh |
| smt2-parser | 10 | 0.0 | A Haskell parser for SMT-LIB version 2.6 | (bsd3, formal-languages, language, library, smt) | 2020-12-02 | liuyuxi |