a Haskell library that implements (Projective) Discourse Representation Theory (DRT)
☆27Sep 15, 2022Updated 4 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 4 years ago
- A straightforward RDF graph model for Datomic☆12Oct 1, 2013Updated 13 years ago
- Distributional Formal Semantics (DFS) tools☆19Oct 17, 2022Updated 4 years ago
- A compound splitter based on the semantic regularities in the vector space of word embeddings.☆16Mar 15, 2017Updated 9 years ago
- Reranking-based dependency parsing with inside-outside recursive neural network☆21Oct 11, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Coq semantics for the GF FraCas suite☆10May 24, 2021Updated 5 years ago
- Latent-variable Synchronous Context-Free Grammar Toolkit☆10Sep 30, 2014Updated 12 years ago
- ☆11Apr 21, 2016Updated 10 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Apr 27, 2017Updated 9 years ago
- Drupal profile running FindFind.it (previously: Serchilo)☆12Mar 1, 2024Updated 2 years ago
- ☆38Mar 10, 2016Updated 10 years ago
- Will store links to known evaluation datasets alongside stats to characterize them☆24Mar 9, 2016Updated 10 years ago
- ☆15Aug 5, 2026Updated 3 months ago
- Optional types for Prolog☆11Aug 14, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A type theory based theorem proving library☆25Aug 23, 2011Updated 15 years ago
- ☆17Apr 19, 2016Updated 10 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 10 years ago
- GOPHI: an AMR-to-English Verbalizer☆12Feb 5, 2020Updated 6 years ago
- RDF wrapper for Datomic☆39Apr 5, 2019Updated 7 years ago
- ☆13Jun 3, 2019Updated 7 years ago
- Bindings to Cowboy server☆12Nov 20, 2023Updated 2 years ago
- Neural network transition-based dependency parser (in Rust)☆44Sep 14, 2020Updated 6 years ago
- nvalt-a-like for the cli☆13Jan 23, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- API for Knowledge Based Platforms - Core Specifications☆10Aug 2, 2023Updated 3 years ago
- ☆10Jun 11, 2019Updated 7 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- Key converter for Mabinogi or all applications.☆12Jun 7, 2025Updated last year
- Prolog list utility predicates☆11Jul 19, 2018Updated 8 years ago
- purerl bindings to basic Erlang process functionality☆13Aug 31, 2022Updated 4 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆71Sep 5, 2021Updated 5 years ago
- Japanese semantic test suite (FraCaS counterpart and extensions)☆14Apr 21, 2026Updated 6 months ago
- A little text processing library for Scala.☆28Mar 3, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This tool generates beautiful, interactive HTML reports for reviewing ARR submissions using OpenReview data.☆17Aug 21, 2026Updated 2 months ago
- enforce banned dependency imports in Go code☆14Aug 21, 2020Updated 6 years ago
- git timestamp client for Zeitgitter☆15Jan 12, 2026Updated 9 months ago
- Parsing only with Pretraining Networks☆16Jul 25, 2024Updated 2 years ago
- Zotonic's fork of Basho's webmachine☆11Oct 26, 2026Updated last week
- Easy concurrency for Prolog☆13May 30, 2014Updated 12 years ago
- LaTeX support for Creative Commons icons☆13Jun 29, 2026Updated 4 months ago