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:
- Grammatical Framework's Resource Grammar Library (RGL)☆60Updated 2 weeks ago
- Tools for the grammar and writing system of the Ithkuil constructed language☆27Updated 2 years ago
- Grammatical Framework core: compiler, shell & runtimes☆145Updated last month
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated last year
- A community driven philosophical language☆26Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- things that don't deserve their own repo☆63Updated 5 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- ☆55Updated 11 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 2 weeks ago
- The Nomyx game☆84Updated 2 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 this week
- ☆65Updated 7 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated 3 weeks ago
- A relational interpretation of Lojban☆34Updated 4 months ago
- Toki Pona corpus for NLTK☆15Updated 6 years ago
- Animations of lambda term reduction sequences☆154Updated 7 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- Awelon project is a new UI model with a new language.☆106Updated 10 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- rslt, take five-ish☆150Updated 4 years ago
- Real number computation software☆128Updated 3 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- music sequencer and generalized notation☆72Updated 9 months ago
- Catalog of visual lambda calculi☆161Updated 4 months ago
- Lojban ologs (categorical databases) using jq☆24Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆31Updated 3 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago