language-toolkit: A set of tools for analyzing languages via logic and automata

[ formal-languages, library, mit, program ] [ Propose Tags ]

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.

  • And the LTK library, which includes the functions used by factorize and plebby as 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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,,,
Change log
Dependencies array (>=0.1 && <0.6), base (>=4.6 && <5.0), containers (>=0.5 && <0.8), deepseq (>=1.2 && <1.6), directory (>=1.2.3 && <1.4), exceptions (>=0.1 && <0.11), filepath (>=1.0 && <1.6), finite-semigroups (>=0.1 && <0.2), haskeline (>=0.6.3 && <0.9), language-toolkit, parallel (>=2.0 && <3.3), process (>=1.1 && <1.7), transformers (>=0.2 && <0.7) [details]
License MIT
Copyright (c) 2014-2024 Dakotah Lambert
Author Dakotah Lambert, James Rogers
Maintainer Dakotah Lambert <>
Category Formal Languages
Home page
Source repo head: git clone git:// -b develop
Uploaded by dakotah_lambert at 2024-04-16T20:53:53Z
Distributions NixOS:
Executables classify, plebby, make-non-strict-constraints, factorize, dotify
Downloads 198 total (24 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-04-16 [all 1 reports]