rocq-archive / automataView external linksLinks
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 14 years ago
- Algebraic Combinatorics in Coq☆39Jan 25, 2026Updated 3 weeks ago
- Stack neural networks applied to hefty natural language tasks.☆15Dec 26, 2019Updated 6 years ago
- DMV/CCM implementation☆17Jul 14, 2016Updated 9 years ago
- ☆23Jul 23, 2021Updated 4 years ago
- PAWSTECH kitter garden diree☆13May 12, 2025Updated 9 months 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
- VATA Tree Automata Library☆34Feb 3, 2026Updated last week
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated 2 weeks ago
- Homotopy theory in Coq.☆89Mar 26, 2011Updated 14 years ago
- Vector Symbolic Architecture library☆11Mar 27, 2023Updated 2 years ago
- MG top-down beam parsing☆13Jul 2, 2018Updated 7 years ago
- Template for a basic academic page☆16Dec 16, 2025Updated last month
- 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
- ☆14May 14, 2019Updated 6 years ago
- POSTECH: Compiler Construction (Spring 2022)☆10Mar 10, 2023Updated 2 years ago
- Named Entity (NER) annotations of the Hebrew Treebank (Haaretz newspaper) corpus, including: morpheme and token level NER labels, nested …☆10Dec 27, 2021Updated 4 years ago
- several algorithms for converting dependency structures into constituency structures.☆10Feb 7, 2022Updated 4 years 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
- Distillation of Ensemble Dependency Parsers into a Single Graph-Based Parser☆11Oct 14, 2016Updated 9 years ago
- Manipulate tensors with PackedSequence and CattedSequence☆12Jan 4, 2026Updated last month
- ☆11Feb 11, 2020Updated 6 years ago
- Tutorial on {Deep} Phonetic Tools given in BigPhon @ LabPhon15☆12Apr 17, 2017Updated 8 years ago
- A massively multilingual corpus and pretrained model for IGT☆12Updated this week
- Tool for creating Kaldi nnet3 recipes using the International Phonetic Alphabet (IPA)☆10Jun 2, 2021Updated 4 years ago
- Old Coq plugin for parametricity [maintainer=@ppedrot]☆44Jan 8, 2026Updated last month
- Behavioral probing of language acquisition models at the lexical and syntactic level☆17Jul 17, 2023Updated 2 years ago
- Concise, powerful asynchronous flow control library for JavaScript☆84Jun 29, 2017Updated 8 years ago
- Get an array of all distinct NaN values supported by the engine. There can be only one!☆12Oct 27, 2022Updated 3 years ago
- ☆11Oct 19, 2024Updated last year
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- The Grammar Matrix☆15Jan 22, 2026Updated 3 weeks ago
- An R package for implementing and evaluating Maximum Entropy Optimality Theory models☆10Jan 28, 2026Updated 2 weeks ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- A python library for easily querying morphological inflection models trained on Unimorph☆13Oct 23, 2022Updated 3 years ago