daalft / PaliNLP2
PaliNLP reworked. Version 2.
☆15Updated 9 years ago
Alternatives and similar repositories for PaliNLP2:
Users that are interested in PaliNLP2 are comparing it to the libraries listed below
- Pāḷi Tipiṭaka and Pāḷi Dictionaries☆32Updated 6 years ago
- A language evolution simulator, using realistic phonetic changes.☆38Updated 2 years ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆30Updated 2 years ago
- Perseus Treebank Data☆72Updated 9 months ago
- types for representing structured documents☆111Updated 11 months ago
- A collection of tools for processing PDF files in Haskell☆181Updated 10 months ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆41Updated this week
- ☆83Updated 6 months ago
- Online Pāli Dictionary and Pāli Tipiṭaka implemented in Go programming language.☆31Updated last year
- Modeling Ancient Greek Grammar☆50Updated 6 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated last month
- rdf4h is a library for working with RDF in Haskell☆77Updated 2 weeks ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- A web app for transliterating Hebrew☆16Updated last month
- ☆24Updated 3 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years ago
- CollateX – Software for Collating Textual Sources☆92Updated last year
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated last year
- The Heterogeneous Tool Set☆58Updated 2 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- A standoff properties editor in JavaScript☆74Updated 3 years ago
- Stardict dictionaries for Pali and Buddhism.☆10Updated 8 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 4 years ago
- Book about using Lean with How To Prove It☆17Updated 3 months ago
- ZeuScansion is a fst-based system capable of performing metrical scansion of poetry written in English.☆37Updated 2 years ago
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- Transform a Folder into a Stack Template☆13Updated last year
- Interlinear glossing for the browser☆46Updated 5 years ago