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 |
|---|---|---|---|---|---|---|---|---|
| ADPfusion | 25 | 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 | 16 | 0.0 | 5 | Tree- and forest structures | (bioinformatics, bsd3, formal-languages, library) | 2023-06-14 | 0.0.1.1 | ChristianHoener |
| Forestry | 2 | 0.0 | 1 | Comparison of trees and forests. | (bioinformatics, bsd3, formal-languages, library) | 2017-11-23 | 0.0.0.1 | ChristianHoener |
| FormalGrammars | 2 | 0.0 | 9 | (Context-free) grammars in formal language theory | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | 0.4.0.0 | ChristianHoener |
| GenussFold | 3 | 0.0 | 0 | MCFGs for Genus-1 RNA Pseudoknots | (bioinformatics, formal-languages, gpl, library, program) | 2015-07-16 | 0.0.0.2 | ChristianHoener |
| GrammarProducts | 1 | 0.0 | 4 | Grammar products and higher-dimensional grammars | (bioinformatics, formal-languages, gpl, library) | 2019-10-02 | 0.2.0.0 | ChristianHoener |
| language-toolkit | 5 | 0.0 | 0 | A set of tools for analyzing languages via logic and automata | (formal-languages, library, mit, program) | 2024-04-27 | 1.2.0.1 | dakotah_lambert |
| libriscv | 2 | 0.0 | 0 | A versatile, flexible and executable formal model for the RISC-V architecture. | (formal-languages, library, mit, program) | 2024-07-10 | 0.1.0.0 | nmeum |
| lindenmayer | 4 | 0.0 | 1 | L-systems in Haskell | (formal-languages, library, mit) | 2015-06-07 | 0.1.0.1 | reinh |
| sequitur | 3 | 0.0 | 0 | Grammar-based compression algorithms SEQUITUR | (bsd3, compression, formal-languages, language, library, natural-language-processing, nlp, text) | 2024-07-28 | 0.2.0.0 | MasahiroSakai |
| smt2-parser | 43 | 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 |