Alternatives and similar repositories for ithkuil:

Users that are interested in ithkuil are comparing it to the libraries listed below

• christian-oudard / ithkuil
  Tools for the grammar and writing system of the Ithkuil constructed language
  ☆27Updated last year
• Philosophical-Language-Group / freetnil
  A community driven philosophical language
  ☆26Updated 4 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆56Updated this week
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆139Updated this week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• mhagiwara / zmifanva
  zmifanva - Lojban ↔ English Machine Translation Engine
  ☆38Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• kdelwat / Onset
  A language evolution simulator, using realistic phonetic changes.
  ☆38Updated 2 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 2 months ago
• ngoriyasjil / IthkuilGloss
  Discord glossing bot for Ithkuil IV
  ☆19Updated last year
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• mbuliga / quinegraphs
  Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
  ☆21Updated 2 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 4 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆114Updated 6 years ago
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆73Updated 4 years ago
• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆69Updated last year
• lojban / ilmentufa
  ☆51Updated 2 months ago
• opencog / atomspace-rocks
  AtomSpace Graph Database RocksDB backend
  ☆16Updated last month
• davidar / nltk-tp
  Toki Pona corpus for NLTK
  ☆14Updated 6 years ago
• glossopoeia / glossolalia
  A language for generating words in constructed languages
  ☆19Updated 2 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• Euterpea / Euterpea2-Examples
  Small code examples demonstrating the use of Euterpea2 and HSoM
  ☆30Updated 5 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆11Updated 2 years ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago