mbykov / cholokLinks
phonetic transcription for Tibetan
☆10Updated 6 years ago
Alternatives and similar repositories for cholok
Users that are interested in cholok are comparing it to the libraries listed below
Sorting:
- Constructive definition of real numbers implemented in agda.☆10Updated 9 years ago
- Conference on Homotopy Type Theory 2019☆16Updated 6 years ago
- A self-hosting subset of git functionality in 500 lines☆13Updated 7 years ago
- Type theory in type theory☆16Updated 13 years ago
- 🧊 Типізоване -גчислення☆16Updated 3 months ago
- Exercism exercises in Coq.☆19Updated 10 months ago
- 🧊 Інститут формальної математики☆35Updated 2 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- Supervised learning of morphology☆28Updated 8 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆57Updated last week
- Community contributions to the Grammatical Framework☆61Updated last year
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13Updated 8 years ago
- ☆22Updated 9 years ago
- Agda from Nothing: Order in the Types☆13Updated 8 years ago
- ☆20Updated 3 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆27Updated 8 years ago
- HN Compiler☆61Updated last month
- Category Theory in Agda. Learning exercise, not for public consumption.☆23Updated 5 years ago
- Pure Type Systems for Functional Programming☆31Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- Work in progress☆38Updated 3 months ago
- Helsinki Finite-State Technology (library and application suite)☆133Updated this week
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 10 years ago
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- ant is not TeX☆24Updated 9 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Updated 10 years ago
- Modeling Ancient Greek Grammar☆51Updated 7 years ago
- secret project☆17Updated 7 years ago