🏆 #6,133 overall#2238 of 2,559 in Natural Language Processing

kovvalsky /LangPro

Tableau-based Theorem Prover for Natural Logic and Language

$ git clone https://github.com/kovvalsky/LangPro.git
GitHub social preview for kovvalsky/LangPro
Stars
123
123
This week
—
Forks
13
13
Language
Prolog
License
BSD-3-Clause
Created
Mar 5, 2017
9.7 years old
Last push
Sep 9, 2026

Categories

GitHub topics

More in Natural Language Processing

Natural Language Processing

yg211/bert_nli

A Natural Language Inference (NLI) model based on Transformers (BERT and ALBERT)

Pythonno licenseupdated Feb 4, 2024
GitHub ↗★ 139⑂ 27
Natural Language Processing

VinAIResearch/PhoBERT

▲ +2 ★ this week

PhoBERT: Pre-trained language models for Vietnamese (EMNLP-2020 Findings)

🏷️ Named Entity Recognition
OtherMITupdated Aug 4, 2026
GitHub ↗★ 811⑂ 112
Natural Language Processing

Cartus/Automated-Fact-Checking-Resources

Links to conference/journal publications in automated fact-checking (resources for the TACL22/EMNLP23 paper).

🔍 Search & Retrieval
OtherMITupdated Feb 23, 2025
GitHub ↗★ 578⑂ 63
Natural Language Processing

yuce/pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

PythonMITupdated Feb 15, 2026
GitHub ↗★ 551⑂ 105
Natural Language Processing

jind11/TextFooler

A Model for Natural Language Attack on Text Classification and Inference

🗂️ Text Classification
PythonMITupdated Dec 8, 2022
GitHub ↗★ 531⑂ 86

Data from GitHub · snapshot Nov 13, 2026