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:
- ☆13May 12, 2026Updated 4 months ago
- A rule engine based on Attempto Controlled English☆20Nov 1, 2024Updated last year
- Large lexicon for APE (~100,000 entries)☆35Nov 5, 2018Updated 7 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- ☆10Oct 17, 2021Updated 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.
- ☆16Jun 24, 2024Updated 2 years ago
- Code and data for experiments on semantic fragments☆11Jun 23, 2022Updated 4 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Sep 12, 2015Updated 11 years ago
- Code for the paper "Critical Thinking for Language Models"☆13Jun 1, 2021Updated 5 years ago
- Watset: Automatic Induction of Synsets from a Graph of Synonyms☆16Jul 7, 2019Updated 7 years ago
- ☆57Dec 7, 2024Updated last year
- Maximum clique computation over large sparse graphs☆24Mar 19, 2022Updated 4 years ago
- Last.fm API for Emacs Lisp☆25Jan 30, 2026Updated 7 months ago
- ☆10Nov 23, 2023Updated 2 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.
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- ☆14May 7, 2021Updated 5 years ago
- Code used to run experiments for the ICLR 2023 paper "Computational Language Acquisition with Theory of Mind".☆15Apr 27, 2023Updated 3 years ago
- berkes.github.com jekyll bootstrap☆13Jun 21, 2026Updated 3 months ago
- 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
- A modular platform to build voice based LLM Assistants☆14Dec 14, 2023Updated 2 years ago
- ☆15May 20, 2025Updated last year
- Major emacs mode for editing Common Intermediate Language files.☆13Jun 22, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Create Elisp releases☆14Sep 1, 2026Updated 3 weeks ago
- A Cloud Native Buildpack for compiling Go applications☆20Updated this week
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- Gantry provides an API that streamlines running experiments in Beaker☆33Jul 20, 2026Updated 2 months ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 9 years ago
- A data structure to track data over time. It works by tracking time/schedule information rather than tracking data changes over time.☆13Sep 13, 2026Updated 2 weeks ago
- Show git repository information in dired buffer☆15May 8, 2026Updated 4 months ago
- ☆13Sep 14, 2021Updated 5 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- 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 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
- erc-view-log is an emacs mode for viewing ERC logs☆15Feb 27, 2014Updated 12 years ago
- Hand coded Stringy Lisp☆16May 21, 2024Updated 2 years ago
- Manage Emacs cursor styles using presets☆15Jul 1, 2026Updated 2 months ago
- The ReprGesture entry to the GENEA Challenge 2022 (IMCI 2022)☆16Nov 8, 2022Updated 3 years ago
- 🐳🐟🐚Docker image for the Friendly Interactive Shell, aka fish☆17Feb 12, 2026Updated 7 months ago