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.


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],,
Dependencies base (>=4.6 && <5.0), containers (>=0.5 && <0.8), deepseq (>=1.2 && <1.6), directory (>=1.2.3 && <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.7) [details]
License MIT
Copyright (c) 2014-2023 Dakotah Lambert
Author Dakotah Lambert, James Rogers
Maintainer Dakotah Lambert <>
Revised Revision 4 made by dakotah_lambert at 2023-10-29T12:56:49Z
Category Formal Languages
Home page
Source repo head: git clone git:// -b develop
Uploaded by dakotah_lambert at 2023-06-18T15:30:15Z
Distributions NixOS:
Executables classify, plebby, make-non-strict-constraints, factorize, dotify
Downloads 145 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-06-18 [all 1 reports]