fizyk20 / ithkuil
A set of tools for analysis of texts in the Ithkuil constructed language
☆31Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for ithkuil
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated last year
- A community driven philosophical language☆26Updated 3 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated this week
- Grammatical Framework core: compiler, shell & runtimes☆131Updated last week
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆23Updated 10 months ago
- a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable☆23Updated last year
- A relational interpretation of Lojban☆32Updated last week
- Discord glossing bot for Ithkuil IV☆18Updated 11 months ago
- ☆47Updated 4 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- zmifanva - Lojban ↔ English Machine Translation Engine☆37Updated last year
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated last year
- A WordNet in GF☆24Updated this week
- A free and opensource platform for studying the artificial language Lojban.☆81Updated 7 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- Community contributions to the Grammatical Framework☆60Updated 3 months ago
- The Slate Interactive Theorem Prover☆23Updated last year
- A language evolution simulator, using realistic phonetic changes.☆38Updated last year
- A bare-bones blogging system, written in Prolog☆25Updated 9 months ago
- ☆10Updated 6 years ago
- Metamath verifier in Python☆34Updated 6 months ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Braid representations in Haskell☆21Updated 9 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆53Updated 15 years ago
- la sutysisku dictionary for Lojban and more☆35Updated 5 months ago
- things that don't deserve their own repo☆63Updated 4 months ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago