a Haskell library that implements (Projective) Discourse Representation Theory (DRT)
☆27Sep 15, 2022Updated 3 years ago
Alternatives and similar repositories for pdrt-sandbox
Users that are interested in pdrt-sandbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scripts to evaluate scoped meaning representations☆20Jun 21, 2022Updated 3 years ago
- ☆10Apr 21, 2016Updated 9 years ago
- Distributional Formal Semantics (DFS) tools☆18Oct 17, 2022Updated 3 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆61Sep 5, 2021Updated 4 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- Slim template language grammar for tree-sitter☆12Jan 23, 2026Updated 2 months ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Code for "Unlearning Traces the Influential Training Data of Language Models"☆13Jun 13, 2024Updated last year
- Asciidoctor Extensions for literate programming☆19Oct 21, 2016Updated 9 years ago
- PANiC - PAraphrasing Noun-Compounds☆15Apr 6, 2018Updated 7 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Data and all☆14Sep 30, 2019Updated 6 years ago
- Japanese semantic test suite (FraCaS counterpart and extensions)☆13Mar 21, 2026Updated last week
- enforce banned dependency imports in Go code☆14Aug 21, 2020Updated 5 years ago
- Comprehensive LLM evaluation framework: GPQA Diamond to Chatbot Arena. Tests all major models equally, easily extensible.☆17Aug 22, 2024Updated last year
- English Resource Grammar☆25Mar 15, 2026Updated last week
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- Code repository for the WWW 2019 paper "Predicting ConceptNet Path Quality Using Crowdsourced Assessments of Naturalness"☆12Feb 1, 2019Updated 7 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- Library to convert OpenTSDB data to pandas datastructures☆15Jan 4, 2016Updated 10 years ago
- Narwhal is a keyword and KEY NARRATIVE manager that creates language-aware classes. Because Narhwal does not use NLP it avoids complexity…☆12Oct 16, 2018Updated 7 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 7 years ago
- An open-source NLP library: fast text cleaning and preprocessing☆23Nov 9, 2021Updated 4 years ago
- A Terraform module with a collection of common TLS certificate settings.☆12Sep 27, 2017Updated 8 years ago
- StyleGAN for 3D image generation☆14Sep 24, 2019Updated 6 years ago
- Visual and Embodied Concepts evaluation benchmark☆21Oct 10, 2023Updated 2 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- This module provides methods to fetch data from OpenTSDB HTTP interface and convert them into Pandas Timeseries object.☆14Oct 6, 2016Updated 9 years ago
- Cython based wrapper for IRTK☆10Oct 13, 2015Updated 10 years ago
- Single header implementation of the Universal Chess Interface (UCI) protocol.☆11Jan 27, 2026Updated 2 months ago
- Dependency manager and build tool for Swift☆11Nov 2, 2015Updated 10 years ago
- A promisified DBpedia SPARQL client that keeps it simple.☆10Dec 26, 2017Updated 8 years ago
- Statically-sized immutable vectors and matrices.☆21Oct 10, 2019Updated 6 years ago
- ☆12Aug 8, 2024Updated last year