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)☆57Updated this week
- Grammatical Framework core: compiler, shell & runtimes☆140Updated this week
- A community driven philosophical language☆26Updated 4 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- A relational interpretation of Lojban☆34Updated 2 months ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- Toki Pona Visual Dictionary with English, Italian and Russian translation in pictures☆31Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆169Updated last week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- A WordNet in GF☆27Updated this week
- Compiler for MFM programming language☆59Updated 5 months ago
- things that don't deserve their own repo☆64Updated 3 months ago
- Real number computation software☆127Updated 3 years ago
- The Nomyx game☆84Updated last year
- Fuzzy Aggregators and Similarity Into a Logic Language☆25Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Community contributions to the Grammatical Framework☆61Updated last year
- A free and opensource platform for studying the artificial language Lojban.☆90Updated last week
- Animations of lambda term reduction sequences☆147Updated 7 years ago
- The programming language that defies the laws of physics☆23Updated 7 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- A language evolution simulator, using realistic phonetic changes.☆38Updated 2 years ago
- A language for generating words in constructed languages☆19Updated 3 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆72Updated last year