Beginning of formal language theory
☆23Dec 7, 2019Updated 6 years ago
Alternatives and similar repositories for automata
Users that are interested in automata are comparing it to the libraries listed below
Sorting:
- Chainer implementation of the Wesserstein GAN☆21Apr 14, 2017Updated 8 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Stack neural networks applied to hefty natural language tasks.☆15Dec 26, 2019Updated 6 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- DMV/CCM implementation☆17Jul 14, 2016Updated 9 years ago
- ☆23Jul 23, 2021Updated 4 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- Easy-first dependency parser based on Hierarchical Tree LSTMs☆32Nov 30, 2016Updated 9 years ago
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Homotopy theory in Coq.☆89Mar 26, 2011Updated 14 years ago
- A tool to collect/validate audio recordings from workers on Amazon Mechanical Turk. Written in Python/Flask. (originally hosted on github…☆14Dec 19, 2022Updated 3 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Template for a basic academic page☆16Feb 24, 2026Updated last week
- ☆14May 14, 2019Updated 6 years ago
- Mirror of GlottHMM☆10Jun 7, 2016Updated 9 years ago
- ☆10Dec 11, 2016Updated 9 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Tutorial on {Deep} Phonetic Tools given in BigPhon @ LabPhon15☆12Apr 17, 2017Updated 8 years ago
- A portable Go module for iSCSI operations.☆11Feb 23, 2026Updated 2 weeks ago
- Transform audio files into mel spectrograms for text-to-speech model training☆12Aug 25, 2021Updated 4 years ago
- Vector Symbolic Architecture library☆11Feb 28, 2026Updated last week
- Simple visualized cetz editor☆11Apr 22, 2025Updated 10 months ago
- Supplementary materials for "Evaluating generalised additive mixed modelling strategies for dynamic speech analysis"☆10Jan 25, 2021Updated 5 years ago
- The complete [1 to 5]-gram Gumar Corpus in the style of Google n-grams.☆11Feb 5, 2020Updated 6 years ago
- Natural Language Inflection in English☆11Jan 10, 2022Updated 4 years ago
- Manipulate tensors with PackedSequence and CattedSequence☆12Jan 4, 2026Updated 2 months ago
- Behavioral probing of language acquisition models at the lexical and syntactic level☆17Jul 17, 2023Updated 2 years ago
- Grapheme to phoneme converter for Estonian☆14May 27, 2021Updated 4 years ago
- VoxAngeles Corpus☆13Aug 23, 2025Updated 6 months ago
- Grapheme-to-phoneme (G2P) conversion for Tamil / Kannada languages - a building block for Indic text-to-speech (TTS) systems☆12Nov 15, 2017Updated 8 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Concise, powerful asynchronous flow control library for JavaScript☆84Jun 29, 2017Updated 8 years ago
- Simple LPC vocoder in Python☆13Jan 7, 2022Updated 4 years ago
- Official Implementation of ACL2023: Don't Parse, Choose Spans! Continuous and Discontinuous Constituency Parsing via Autoregressive Span …☆14Aug 25, 2023Updated 2 years ago
- ☆11Oct 19, 2024Updated last year