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)

Rev Deps
Last U/L
Last Version
ADPfusion480.015Efficient, high-level dynamic programming. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2019-10-
ADPfusionForest30.01Dynamic programming on tree and forest structures (bioinformatics, bsd3, formal-languages, library)2017-11-
ADPfusionSet50.03Dynamic programming for Set data structures. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2017-10-
ForestStructures280.05Tree- and forest structures (bioinformatics, bsd3, formal-languages, library)2018-12-
Forestry40.01Comparison of trees and forests. (bioinformatics, bsd3, formal-languages, library)2017-11-
FormalGrammars220.09(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library)2019-10-
GenussFold50.00MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)2015-07-
GrammarProducts190.04Grammar products and higher-dimensional grammars (bioinformatics, formal-languages, gpl, library)2019-10-
language-toolkit60.00A set of tools for analyzing languages via logic and automata (formal-languages, library, mit, program)2022-03-
lindenmayer50.01L-systems in Haskell (formal-languages, library, mit)2015-06-
smt2-parser410.01A Haskell parser for SMT-LIB version 2.6 (bsd3, formal-languages, language, library, smt)2022-10-, haskell_github_trust