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)☆59Updated last week
- A community driven philosophical language☆26Updated 4 years ago
- The Nomyx game☆84Updated last year
- Grammatical Framework core: compiler, shell & runtimes☆142Updated 3 weeks ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆27Updated last year
- things that don't deserve their own repo☆64Updated 3 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years 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 2 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated last week
- Animations of lambda term reduction sequences☆151Updated 7 years ago
- Compiler for MFM programming language☆25Updated 3 months ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆72Updated last year
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- ☆55Updated 9 months ago
- Sending the lambda calculus into deep space☆151Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- A free and opensource platform for studying the artificial language Lojban.☆91Updated this week
- A language for generating words in constructed languages☆19Updated 3 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- ☆65Updated 7 years ago
- zmifanva - Lojban ↔ English Machine Translation Engine☆38Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- Explorations in relations and the algebra of programming☆17Updated 6 years ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆31Updated 3 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago