Distributional Formal Semantics (DFS) tools
☆19Oct 17, 2022Updated 3 years ago
Alternatives and similar repositories for dfs-tools
Users that are interested in dfs-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 3 years ago
- A rule engine based on Attempto Controlled English☆20Nov 1, 2024Updated last year
- Large lexicon for APE (~100,000 entries)☆34Nov 5, 2018Updated 7 years ago
- A library for manipulating DMRS structures☆14Mar 3, 2021Updated 5 years ago
- ☆10Oct 17, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A framework for evaluating the effectiveness of chain-of-thought reasoning in language models.☆19Feb 6, 2025Updated last year
- HELP: a dataset for Handling Entailments with Lexical and logical Phenomena (Ver.1.0)☆15Jul 20, 2023Updated 3 years ago
- Last.fm API for Emacs Lisp☆25Jan 30, 2026Updated 6 months ago
- The Python PSDD Package☆18Jul 20, 2025Updated last year
- Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.☆19Feb 5, 2025Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- ☆14May 7, 2021Updated 5 years ago
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- Official Implementation of implicit reference attack☆11Oct 16, 2024Updated last year
- 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.
- berkes.github.com jekyll bootstrap☆13Jun 21, 2026Updated last month
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- A repository for the EMNLP 2021 paper "Is Information Density Uniform in Task-Oriented Dialogues?" and for the CoNLL 2021 paper "Analysin…☆10Jun 17, 2024Updated 2 years ago
- This is the official implementation for IVA '19 paper "Analyzing Input and Output Representations for Speech-Driven Gesture Generation".☆10Jul 12, 2022Updated 4 years ago
- A modular platform to build voice based LLM Assistants☆14Dec 14, 2023Updated 2 years ago
- ☆14May 20, 2025Updated last year
- This code accompanies the paper "Bayesian Framework for Information-Theoretic Probing" published in EMNLP 2021.☆10Aug 23, 2021Updated 4 years ago
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 5 months ago
- Letterboxing mode for Emacs.☆10Oct 9, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- ☆11May 24, 2024Updated 2 years ago
- Codebase describing experiments in Truncation Sampling as Language Model Desmoothing☆13Dec 6, 2022Updated 3 years ago
- ☆13Sep 14, 2021Updated 4 years ago
- A Log4j Adapter for Clojure☆10Dec 23, 2021Updated 4 years ago
- Codebase for "Decoding language spatial relations to 2D spatial arrangements" (Findings of EMNLP 2020).☆11Feb 10, 2023Updated 3 years ago
- Manage Emacs cursor styles using presets☆15Jul 1, 2026Updated last month
- The ReprGesture entry to the GENEA Challenge 2022 (IMCI 2022)☆16Nov 8, 2022Updated 3 years ago
- A sample project using Hexagonal (Ports & Adapters) architecture, Event Sourcing, CQRS and DDD tactical patterns☆13May 13, 2022Updated 4 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.
- Code for Generalized Entropy Regularization paper☆14May 2, 2020Updated 6 years ago
- Emacs minor mode for explaining why you're not working☆12Jul 6, 2023Updated 3 years ago
- ☆16Mar 2, 2026Updated 5 months ago
- Public repo for the paper: "Modeling Intensification for Sign Language Generation: A Computational Approach" by Mert Inan*, Yang Zhong*, …☆13Mar 15, 2022Updated 4 years ago
- Pedagogical first-order prover in Python☆84Jun 10, 2025Updated last year
- ☆14Jul 26, 2024Updated 2 years ago
- terminal file manager; mirror of https://codeberg.org/kmarius/lfm☆11Jun 17, 2026Updated 2 months ago