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 |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
ADPfusion | 95 | 0.0 | Efficient, high-level dynamic programming. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2019-10-01 | ChristianHoener |
ADPfusionForest | 8 | 0.0 | Dynamic programming on tree and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | ChristianHoener |
ADPfusionSet | 14 | 0.0 | Dynamic programming for Set data structures. | (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library) | 2017-10-19 | ChristianHoener |
ForestStructures | 18 | 0.0 | Tree- and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2018-12-11 | ChristianHoener |
Forestry | 6 | 0.0 | Comparison of trees and forests. | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | ChristianHoener |
FormalGrammars | 36 | 0.0 | (Context-free) grammars in formal language theory | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | ChristianHoener |
GenussFold | 6 | 0.0 | MCFGs for Genus-1 RNA Pseudoknots | (bioinformatics, formal-languages, gpl, library, program) | 2015-07-16 | ChristianHoener |
GrammarProducts | 14 | 0.0 | Grammar products and higher-dimensional grammars | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | ChristianHoener |
language-toolkit | 3 | 0.0 | A set of tools for analyzing languages via logic and automata | (formal-languages, library, mit, program) | 2022-03-29 | dakotah_lambert |
lindenmayer | 5 | 0.0 | L-systems in Haskell | (formal-languages, library, mit) | 2015-06-07 | reinh |
smt2-parser | 5 | 0.0 | A Haskell parser for SMT-LIB version 2.6 | (bsd3, formal-languages, language, library, smt) | 2020-12-02 | liuyuxi |