language-toolkit: A set of tools for analyzing languages via logic and automata
This provides the Language Toolkit (LTK) library and associated executables. There are four main components:
factorize, which takes as input a set of finite-state automata and writes out for each one a set of constraints that approximates (or, if possible, defines) it.
plebby, an interactive theorem-prover in which one can define languages via logical constraints or import finite-state automata and get information about the languages so defined.
classify, a command-line classification program useful for batch jobs.
LTKlibrary, which includes the functions used by
plebbyas well as several other useful tools.
This project began as a simple tool for working with finite-state automata, and has grown considerably more useful in working specifically with sub-regular languages as it has matured.
|Versions [RSS]||188.8.131.52, 184.108.40.206|
|Dependencies||base (>=4.6 && <4.17), containers (>=0.5 && <0.7), deepseq (>=1.2 && <1.5), directory (>=1.0 && <1.4), filepath (>=1.0 && <1.5), haskeline (>=0.2 && <0.9), language-toolkit, parallel (>=2.0 && <3.3), process (>=1.1 && <1.7), transformers (>=0.2 && <0.6) [details]|
|Copyright||(c) 2014-2022 Dakotah Lambert|
|Author||Dakotah Lambert, James Rogers|
|Maintainer||Dakotah Lambert <firstname.lastname@example.org>|
|Source repo||head: git clone git://github.com/vvulpes0/Language-Toolkit-2.git -b develop|
|Uploaded||by dakotah_lambert at 2022-03-29T03:49:09Z|
|Executables||classify, plebby, make-non-strict-constraints, factorize, dotify|
|Downloads||62 total (4 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2022-03-29 [all 1 reports]