Packages tagged formal-languages

13 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (13), bioinformatics (8), bsd3 (7), gpl (3), mit (3), program (3), algorithms (2), data-structures (2), language (2), compression (1), natural-language-processing (1), nlp (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
ADPfusion640.015Efficient, high-level dynamic programming. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2019-10-010.6.0.0ChristianHoener
ADPfusionForest60.01Dynamic programming on tree and forest structures (bioinformatics, bsd3, formal-languages, library)2017-11-230.0.0.1ChristianHoener
ADPfusionSet80.03Dynamic programming for Set data structures. (algorithms, bioinformatics, bsd3, data-structures, formal-languages, library)2017-10-190.0.0.2ChristianHoener
ForestStructures320.05Tree- and forest structures (bioinformatics, bsd3, formal-languages, library)2023-06-140.0.1.1ChristianHoener
Forestry80.01Comparison of trees and forests. (bioinformatics, bsd3, formal-languages, library)2017-11-230.0.0.1ChristianHoener
FormalGrammars330.09(Context-free) grammars in formal language theory (bioinformatics, formal-languages, gpl, library)2019-10-020.4.0.0ChristianHoener
GenussFold100.00MCFGs for Genus-1 RNA Pseudoknots (bioinformatics, formal-languages, gpl, library, program)2015-07-160.0.0.2ChristianHoener
GrammarProducts380.04Grammar products and higher-dimensional grammars (bioinformatics, formal-languages, gpl, library)2019-10-020.2.0.0ChristianHoener
language-toolkit270.00A set of tools for analyzing languages via logic and automata (formal-languages, library, mit, program)2024-04-271.2.0.1dakotah_lambert
libriscv80.00A versatile, flexible and executable formal model for the RISC-V architecture. (formal-languages, library, mit, program)2024-07-100.1.0.0nmeum
lindenmayer140.01L-systems in Haskell (formal-languages, library, mit)2015-06-070.1.0.1reinh
sequitur100.00Grammar-based compression algorithms SEQUITUR (bsd3, compression, formal-languages, language, library, natural-language-processing, nlp, text)2024-07-280.2.0.0MasahiroSakai
smt2-parser420.01A Haskell parser for SMT-LIB version 2.6 (bsd3, formal-languages, language, library, smt)2022-10-080.1.0.1liuyuxi, haskell_github_trust