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
  ☆26Updated this week
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆60Updated 10 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated 2 weeks ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last month
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated 2 weeks ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 weeks ago
• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 4 years ago
• gchrupala / morfette
  Supervised learning of morphology
  ☆28Updated 8 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• RichardMoot / LinearOne
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆20Updated 4 years ago
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 6 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆74Updated 10 months ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆24Updated 3 weeks ago
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 3 months 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
• ftyers / ud-scripts
  Scripts for compatibilitising between VISL-CG3, Apertium, CoNLL-X and Universal Dependencies
  ☆15Updated 5 years ago
• PierreSenellart / theoremkb
  Collection of tools to extract semantic information from (mathematical) research articles
  ☆21Updated 6 months ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• fnogatz / tap
  Write TAP tests with SWI-Prolog
  ☆12Updated 2 years ago
• jonsterling / hs-abt
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Updated 7 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆13Updated 4 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• mndrix / dcg_util
  DCG utility predicates for Prolog
  ☆10Updated 10 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago