Python Module for Logical Validation (forked from Rob Truxler library)
☆26Jul 28, 2020Updated 5 years ago
Alternatives and similar repositories for pylogic
Users that are interested in pylogic 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 toy project for extracting the amounts from a paper receipt☆13Apr 29, 2013Updated 13 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- ☆10Jun 11, 2019Updated 7 years ago
- TPTP python library and benchmarking service☆13Updated this week
- Data and all☆14Sep 30, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A vocabulary for future-oriented mobility solutions and value-added services supporting them.☆28Sep 2, 2019Updated 6 years ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 4 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- Code repository for the WWW 2019 paper "Predicting ConceptNet Path Quality Using Crowdsourced Assessments of Naturalness"☆12Feb 1, 2019Updated 7 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 3 years ago
- ☆72Feb 13, 2021Updated 5 years ago
- An open-source NLP library: fast text cleaning and preprocessing☆23Nov 9, 2021Updated 4 years ago
- ☆11Sep 18, 2023Updated 2 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.
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 7 years ago
- Visual and Embodied Concepts evaluation benchmark☆21Oct 10, 2023Updated 2 years ago
- Implementation of Minimum Spanning Trees on Apache Spark.☆10May 25, 2015Updated 11 years ago
- require-context plugin for Snowpack☆11Aug 31, 2021Updated 4 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- Collects a multimodal dataset of Wikipedia articles and their images☆16Mar 25, 2023Updated 3 years ago
- Ray Framework (https://github.com/ray-project/ray) on Kubernetes☆13Oct 12, 2018Updated 7 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A text editor for boosting your productivity.☆11Feb 5, 2019Updated 7 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 4 years ago
- Quotek is an open source algotrading platform, written in C++.☆10Nov 12, 2020Updated 5 years ago
- A Ruby DSL for composing maintainable analytical SQL statements.☆12Jan 31, 2024Updated 2 years ago
- Night Owl Theme for Alfred☆16Sep 9, 2018Updated 7 years ago
- Sample rails app that keeps track of active record changes through to after_commit☆11May 30, 2016Updated 10 years ago
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Keyboard layout files for printing your own custom mechanical keyboard at WASD Keyboards.☆12Nov 17, 2014Updated 11 years ago
- Pull the RSS feed for any website you want without worrying about the RSS feed existence or engine☆17Apr 21, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fork of Vapor, even more minimal then before.☆13Jul 20, 2015Updated 11 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆22May 16, 2025Updated last year
- Code for ICLR 2019 paper 'CBOW Is Not All You Need: Combining CBOW with the Compositional Matrix Space Model'☆21May 21, 2019Updated 7 years ago
- Tree Proof Generator☆183May 23, 2026Updated last month
- php library for alfred workflows☆16Apr 26, 2016Updated 10 years ago
- extra sorting algorithms extending Julia's sorting API☆54Jun 22, 2026Updated 3 weeks ago
- ☆13Apr 10, 2023Updated 3 years ago