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
- ☆11Apr 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/)☆62Sep 5, 2021Updated 4 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 8 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Data and all☆14Sep 30, 2019Updated 6 years ago
- Japanese semantic test suite (FraCaS counterpart and extensions)☆13Mar 29, 2026Updated 2 weeks ago
- 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
- 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
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- English Resource Grammar☆27Apr 1, 2026Updated 2 weeks 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
- An open-source NLP library: fast text cleaning and preprocessing☆23Nov 9, 2021Updated 4 years ago
- Homotopy type theory cheatsheets☆12Updated this week
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 7 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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