Pinned Loading

1. english2logic english2logic Public

   Parsing English text with Stanza and interpreting as first-order logic according to Montague grammar

   Haskell 1 1

2. chess2fen-ai chess2fen-ai Public

   Calculate the FEN-string of an NxN image of a chess board

   Python 2

3. semantic-verification-aw semantic-verification-aw Public

   Semantic verification of a Grammatical Framework grammar for expressing facts about countries and capitals in English and Swedish, using Montague semantics and WikiData.

   Haskell 2