A set of tools for analyzing languages via logic and automata
☆27Feb 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for Language-Toolkit-2
Users that are interested in Language-Toolkit-2 are comparing it to the libraries listed below
Sorting:
- Subregular toolkit for language processing☆23Jul 22, 2020Updated 5 years ago
- A repository containing links to useful phonological software☆12Feb 16, 2023Updated 3 years ago
- Haskell phonology library.☆10Jan 23, 2012Updated 14 years ago
- Python Finite-State Toolkit☆60Updated this week
- An automata learning library written in Python.☆48Feb 26, 2020Updated 6 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 3 years ago
- A program for making zooming slides in figma.☆41Jul 1, 2025Updated 8 months ago
- Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)☆19Mar 21, 2024Updated last year
- LLMs playing chess are sensitive to how the position came to be☆25Feb 14, 2024Updated 2 years ago
- EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages☆24Oct 10, 2020Updated 5 years ago
- Small-vocabulary neural sequence-to-sequence generation with optional feature conditioning☆35Updated this week
- SPMD + Neural Nets☆32Feb 8, 2020Updated 6 years ago
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 5 years ago
- ☆133Sep 17, 2023Updated 2 years ago
- A neural language model that estimates incremental processing complexity☆39Oct 27, 2021Updated 4 years ago
- BioVoice: a multipurpose tool for voice analysis☆11Nov 13, 2020Updated 5 years ago
- ☆12Nov 22, 2024Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- The complete [1 to 5]-gram Gumar Corpus in the style of Google n-grams.☆11Feb 5, 2020Updated 6 years ago
- A FAUST wrapper-generator for ChucK Ugens☆18Feb 21, 2026Updated last week
- ☆10Aug 25, 2020Updated 5 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- ☆11May 8, 2019Updated 6 years ago
- ☆14May 12, 2025Updated 9 months ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 6 months ago
- GUI applikation for the Klatt formant synthesizer package☆11Feb 16, 2026Updated 2 weeks ago
- A DFA based UTF-8 decoder☆15Jan 1, 2014Updated 12 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Accelerating the regular expression matching on FPGA for applications in Networking and Bioinformatics.☆13Nov 24, 2017Updated 8 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago