Alternatives and similar repositories for chitchat

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

• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆58Updated last month
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆61Updated last year
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆142Updated last month
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated 2 months ago
• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 5 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆21Updated last month
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 weeks ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 5 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 3 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 7 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• vscosta / yap-6.3
  YAP Development release
  ☆15Updated 4 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated last month
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• KWARC / llamapun
  common language and mathematics processing algorithms, in Rust
  ☆26Updated last year
• andrewcropper / mlj18-metaopt
  A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.
  ☆14Updated 7 years ago
• stanojevic / Rotating-CCG
  ☆19Updated 4 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 10 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated 4 months ago
• ufal / treex
  Treex NLP framework
  ☆32Updated 2 weeks ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago