hbrouwer / pdrt-sandboxView external linksLinks
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/)☆60Sep 5, 2021Updated 4 years ago
- English Resource Grammar☆24Oct 23, 2025Updated 3 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
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- ☆14Jul 23, 2020Updated 5 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 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 modification for Klei's Oxygen Not Included☆10Jun 9, 2022Updated 3 years ago
- My hopelessly idiosyncratic music software☆11Aug 18, 2018Updated 7 years ago
- DOES 2016 ChatOps repo for HPE☆11Nov 8, 2016Updated 9 years ago
- 简繁汉字并非一一对应，在转换中往往要根据上下文判断具体如何转换，本js文件在网络上流传的简繁转换程序基础上加入许多判断条件让简繁转换更为完善。☆10Nov 13, 2015Updated 10 years ago
- Unofficial repository for the terraria tile generator. Generates a template for a custom block☆11Oct 7, 2024Updated last year
- The codes to the paper "Discourse Representation Structure Parsing"☆41Aug 24, 2019Updated 6 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
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 5 years ago
- A comparison of various moving window median algorithms☆17Jun 4, 2011Updated 14 years ago
- CommonsenseQA☆10Mar 28, 2020Updated 5 years ago
- Django templatetag for admins to easily change/delete objects from the public-facing site.☆59Dec 29, 2009Updated 16 years ago
- Automatic VST synthesizer programmers☆13Dec 4, 2017Updated 8 years ago
- Redirect to webassembly.org☆12Aug 22, 2022Updated 3 years ago
- A research project exploring the creation of photorealistic digital humans in O3DE, focusing on advanced rendering, realistic materials, …☆10Jul 20, 2023Updated 2 years ago
- ZK -- The Halls Of ZK☆15Nov 6, 2023Updated 2 years ago
- Tool to add .desktop files to be used by optirun☆10Nov 4, 2018Updated 7 years ago
- ☆12Aug 8, 2024Updated last year
- Unit-aware Computations for AI-driven Scientific Computing.☆17Jan 30, 2026Updated 2 weeks ago
- ☆11Nov 16, 2022Updated 3 years ago
- Just enough TLS sugar☆14May 2, 2015Updated 10 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- A few python scripts to encode videos distributed over multiple machines☆16Mar 2, 2013Updated 12 years ago
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 14 years ago
- ableist-language-detector☆11Jan 15, 2023Updated 3 years ago
- Scripts and payloads for internet-wide network scanning☆17Aug 2, 2015Updated 10 years ago
- Dines is the definitive answer to DNS testing☆21Dec 10, 2018Updated 7 years ago
- Metrics endpoint for erldns.☆12Apr 11, 2025Updated 10 months ago