michmech / chitchat
A Grammatical Framework application grammar for casual coffee-break conversations
☆9Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for chitchat
- Grammatical Framework's Resource Grammar Library (RGL)☆52Updated last week
- Supervised learning of morphology☆28Updated 7 years ago
- A WordNet in GF☆24Updated this week
- Community contributions to the Grammatical Framework☆60Updated 4 months ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 4 years ago
- A library for manipulating DMRS structures☆14Updated 3 years ago
- Grammatical Framework core: compiler, shell & runtimes☆131Updated 3 weeks ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- Collection of tools to extract semantic information from (mathematical) research articles☆19Updated last week
- MG top-down beam parsing☆13Updated 6 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 9 years ago
- First-order automated theorem prover based on the tableau method☆12Updated this week
- ☆19Updated 3 years ago
- Apply and compose functions in Prolog☆19Updated 8 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 4 years ago
- Search back-end for dependency tree search. See the docs at https://fginter.github.io/dep_search/☆17Updated 6 years ago
- My MSc thesis: a grammar induction system☆15Updated 8 years ago
- DCG utility predicates for Prolog☆10Updated 9 years ago
- Scripts for compatibilitising between VISL-CG3, Apertium, CoNLL-X and Universal Dependencies☆14Updated 4 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆32Updated last year
- Yes, Erlang in SWI-Prolog!☆12Updated 6 years ago
- A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.☆19Updated 7 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- CONLL-U to Pandas DataFrame☆31Updated 7 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated 3 weeks ago
- Generates natural language versions of Coq proofs☆51Updated 6 years ago