arademaker

SLattes

Semantic Lattes

dicionariosIBGE

Dicionários de dados para as pesquisas PNAD, PME e POF do IBGE.

alc-lean

Formalization of ALC Logic in LEAN Prover

arademaker.github.com

homepage and blog

hs-conllu

CoNLL-U/UD library

delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets

puzzles

puzzles from TPTP

sumo

Suggested Upper Merged Ontology (SUMO)

acl-anthology

Data and software for building the ACL Anthology.

CommandLineBasics

delphin.edm

Elementary Dependency Match

easy2acl

Convert data from EasyChair for use with aclpub

FormalML

Formalization of Machine Learning Theory with Applications to Program Synthesis

FreeLing-User-Manual

Markdown source for FreeLing User Manual (read it in ReadTheDocs.io)

github-final-project

jbbmo-Introduction-to-Git-and-GitHub

Introduction to Git and GitHub

lftcm2020

Lean for the Curious Mathematician 2020

logic_and_proof

CMU Undergrad Course

propbank-frames

Lexicon of frame files used by Propbank annotation. A searchable, readable version of these files is stored at http://verbs.colorado.edu/propbank/framesets-english-aliases/

propbank-release

The official released annotations, both in .prop pointer format and as conll files. Does not contain the source texts

PT-LexicalSemantics

PT Lexical Semantics

punkt

Unsupervised multilingual sentence segmentation.

py-ownpt

pydelphin

Python libraries for DELPH-IN

QALD

QALD sources (data, website, documents, scripts) https://qald.aksw.org/

sick

siglex

This repository holds the website for the ACL Special Interest Group on the Lexicon (SIGLEX).

udapi-python

Python framework for processing Universal Dependencies data

verbnet

University of Colorado VerbNet

wn30-glosses-fftb