GitHub repository: krbeesley/kleene-lang
Primary language: Java
Description: a high-level language, based on OpenFst, for finite-state programming