Popular repositories Loading

1. treebank_data treebank_data Public

   Forked from PerseusDL/treebank_data

   Perseus Treebank Data

   HTML 1

2. linear-logic-nd linear-logic-nd Public

   A linear logic prover that produces proofs in natural deduction with proof terms

   Python 1

3. proiel.github.io proiel.github.io Public

   Forked from proiel/proiel.github.io

   Homepage for the PROIEL Treebank and PROIEL Framework

   Sass

4. dev.syntacticus.org dev.syntacticus.org Public

   Forked from proiel/dev.syntacticus.org

   TeX

5. Transformer-Formal-Languages Transformer-Formal-Languages Public

   Forked from satwik77/Transformer-Formal-Languages

   EMNLP 2020: On the Ability and Limitations of Transformers to Recognize Formal Languages

   Python

6. daghaug.github.io daghaug.github.io Public

   HTML