fizyk20 / ithkuilLinks
A set of tools for analysis of texts in the Ithkuil constructed language
☆31Updated 6 years ago
Alternatives and similar repositories for ithkuil
Users that are interested in ithkuil are comparing it to the libraries listed below
Sorting:
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆61Updated last month
- A community driven philosophical language☆26Updated 4 years ago
- Grammatical Framework core: compiler, shell & runtimes☆147Updated last month
- ☆55Updated 11 months ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- A relational interpretation of Lojban☆34Updated 5 months ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated 2 years ago
- things that don't deserve their own repo☆63Updated 6 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- A WordNet in GF☆27Updated last week
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated last month
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- a toki pona language set of utilities☆30Updated 7 years ago
- Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures☆32Updated 3 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- A language for generating words in constructed languages☆19Updated 3 years ago
- Complete Lojban Language Chunked☆188Updated last year
- A free and opensource platform for studying the artificial language Lojban.☆94Updated 2 weeks ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Community contributions to the Grammatical Framework☆62Updated last year
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Compiler for MFM programming language☆59Updated 9 months ago
- Discussion of MeTTa programming with examples☆34Updated 4 months ago
- Discord glossing bot for Ithkuil IV☆20Updated 2 years ago