mbykov / cholok
phonetic transcription for Tibetan
☆10Updated 5 years ago
Alternatives and similar repositories for cholok:
Users that are interested in cholok are comparing it to the libraries listed below
- simple CSV database if Tibetan verbs☆22Updated 9 years ago
- A lexicon compiler for non-suffixational morphologies☆11Updated last month
- Tibetan-English translator for CLI☆13Updated 3 months ago
- Supervised learning of morphology☆28Updated 8 years ago
- 😎 Curated list of tibetan canon datasets☆16Updated 4 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago
- Modeling Ancient Greek Grammar☆50Updated 6 years ago
- Constructive definition of real numbers implemented in agda.☆10Updated 8 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Updated 5 years ago
- A dependently typed type checker for a TT with intervals☆22Updated 4 years ago
- Helsinki Finite-State Technology (library and application suite)☆125Updated last week
- Grammatical Framework's Resource Grammar Library (RGL)☆54Updated last week
- Grammar rules and dictionaries for the phonetic transcription of Russian sentences☆33Updated 3 years ago
- eXtensible Interlinear Glossed Text☆32Updated 2 years ago
- Tools for the 3rd edition of the Constraint Grammar formalism.☆21Updated this week
- Language data store and linguistic query API☆39Updated 2 weeks ago
- Unsupervised multilingual sentence segmentation.☆21Updated 3 years ago
- PHOIBLE data and development.☆122Updated 6 months ago
- Exercism exercises in Coq.☆18Updated 2 months ago
- 😎 Curated list of Tibetan NLP projects☆36Updated 4 years ago
- 🧊 Інститут формальної математики☆34Updated 2 weeks ago
- ✒️ དག་བྱེད། Dakje, improving your spelling and readability☆11Updated 2 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- being my notes and exercises for the Types Summer School in Ohrid, (FYRO) Macedonia, July 2017☆9Updated 7 years ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- An attempt to formalize unix cat in fiat☆12Updated 7 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆12Updated 4 years ago
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13Updated 7 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago