Tableau-based Theorem Prover for Natural Logic and Language
☆120Nov 14, 2025Updated 3 months ago
Alternatives and similar repositories for LangPro
Users that are interested in LangPro are comparing it to the libraries listed below
Sorting:
- Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG☆27Dec 12, 2025Updated 2 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- Parser for Attempto Controlled English (ACE)☆210Apr 21, 2024Updated last year
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 3 years ago
- Neural Shift Reduce Parser for CCG Semantic Parsing (Misra and Artzi, EMNLP 2016)☆17Feb 21, 2017Updated 9 years ago
- ☆61Dec 2, 2017Updated 8 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Oct 23, 2025Updated 4 months ago
- Tree Stack Memory Units☆17Jun 17, 2020Updated 5 years ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆18Feb 10, 2026Updated 3 weeks ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics inte…☆239Dec 18, 2023Updated 2 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Feb 25, 2026Updated last week
- ☆19Jun 1, 2021Updated 4 years ago
- Supervised learning of morphology☆28Jan 17, 2017Updated 9 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- ☆10Nov 1, 2019Updated 6 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45May 14, 2016Updated 9 years ago
- serverless framework plugin - serve / deploy static files that works with serverless-offline plugin☆13Jan 4, 2020Updated 6 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆29Feb 25, 2026Updated last week
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 3 weeks ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- Generates natural language versions of Coq proofs☆51Feb 11, 2018Updated 8 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 14 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆32Dec 4, 2023Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- Socially isolating through obsessive micro-optimization.☆13Dec 8, 2021Updated 4 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆86Feb 25, 2026Updated last week
- toy ccg parser☆14Apr 14, 2016Updated 9 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Research Paper Review Notes☆13Oct 26, 2018Updated 7 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Apr 6, 2022Updated 3 years ago