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
Sorting:
- Scripts to evaluate scoped meaning representations☆20Jun 21, 2022Updated 3 years ago
- ☆10Apr 21, 2016Updated 9 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆61Sep 5, 2021Updated 4 years ago
- English Resource Grammar☆24Oct 23, 2025Updated 4 months ago
- A simulated VR laboratory for human-robot control experiments☆11Jul 16, 2021Updated 4 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆11Jan 22, 2023Updated 3 years ago
- Adding client SOCKS support to Twisted.☆18Feb 2, 2014Updated 12 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- DOES 2016 ChatOps repo for HPE☆11Nov 8, 2016Updated 9 years ago
- My hopelessly idiosyncratic music software☆11Aug 18, 2018Updated 7 years ago
- Unofficial repository for the terraria tile generator. Generates a template for a custom block☆11Oct 7, 2024Updated last year
- A comparison of various moving window median algorithms☆17Jun 4, 2011Updated 14 years ago
- 简繁汉字并非一一对应，在转换中往往要根据上下文判断具体如何转换，本js文件在网络上流传的简繁转换程序基础上加入许多判断条件让简繁转换更为完善。☆10Nov 13, 2015Updated 10 years ago
- ☆14Jul 23, 2020Updated 5 years ago
- The codes to the paper "Discourse Representation Structure Parsing"☆41Aug 24, 2019Updated 6 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- A modification for Klei's Oxygen Not Included☆10Jun 9, 2022Updated 3 years ago
- The set of root certificates trusted by dart:io's default SecurityContext. Taken from Mozilla's NSS library.☆12Jul 2, 2021Updated 4 years ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 6 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
- A Terraform module with a collection of common TLS certificate settings.☆12Sep 27, 2017Updated 8 years ago
- A wrapper for Google's Resonance Audio that provides a consistent surround sound audio context☆12Apr 4, 2022Updated 3 years ago
- A RESTful API server to control ChatdollKit-based AITuber 💬☆13Jan 14, 2025Updated last year
- Yet another dynamic routine hooking library for OS X. Uses Mach exception handlers.☆11Feb 7, 2016Updated 10 years ago
- A few python scripts to encode videos distributed over multiple machines☆16Mar 2, 2013Updated 13 years ago
- ☆102Sep 25, 2013Updated 12 years ago
- Go support for parsing, compiling, and installing Chromium OS Seccomp-BPF policy files.☆12Mar 21, 2016Updated 9 years ago
- ☆11Nov 16, 2022Updated 3 years ago
- A Slot-filling based Dialog Manager for Task-oriented Bot☆12Dec 29, 2016Updated 9 years ago
- Just enough TLS sugar☆14May 2, 2015Updated 10 years ago
- TCP load balancer, written in Rust☆14May 22, 2017Updated 8 years ago
- ZK -- The Halls Of ZK☆15Nov 6, 2023Updated 2 years ago
- The place for RIZZ☆11Mar 10, 2025Updated 11 months ago
- Unit-aware Computations for AI-driven Scientific Computing.☆17Jan 30, 2026Updated last month
- Automatic VST synthesizer programmers☆13Dec 4, 2017Updated 8 years ago
- A linux kernel module that enables calls to ACPI methods through /proc/acpi/call. Now with support for Integer, String and Buffer paramet…☆12Nov 4, 2018Updated 7 years ago
- [ARCHIVED] IPFS Stress tests☆10Apr 16, 2020Updated 5 years ago
- Scripts and payloads for internet-wide network scanning☆17Aug 2, 2015Updated 10 years ago