Python Module for Logical Validation (forked from Rob Truxler library)
☆26Jul 28, 2020Updated 6 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:
- ☆10Jun 11, 2019Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 8 months ago
- Comprehensive LLM evaluation framework: GPQA Diamond to Chatbot Arena. Tests all major models equally, easily extensible.☆17Aug 22, 2024Updated 2 years ago
- PANiC - PAraphrasing Noun-Compounds☆15Apr 6, 2018Updated 8 years ago
- TPTP python library and benchmarking service☆13Jul 20, 2026Updated 3 months 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.
- Data and all☆14Sep 30, 2019Updated 7 years ago
- ☆72Feb 13, 2021Updated 5 years ago
- Code repository for the WWW 2019 paper "Predicting ConceptNet Path Quality Using Crowdsourced Assessments of Naturalness"☆12Feb 1, 2019Updated 7 years ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 7 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 3 years ago
- An open-source NLP library: fast text cleaning and preprocessing☆23Nov 9, 2021Updated 4 years ago
- Visual and Embodied Concepts evaluation benchmark☆21Oct 10, 2023Updated 3 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 4 years ago
- Sort of like Turbo but smaller☆12Feb 14, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Though language model text embeddings have revolutionized NLP research, their ability to capture high-level semantic information, such as…☆28Apr 28, 2023Updated 3 years ago
- Collects a multimodal dataset of Wikipedia articles and their images☆16Mar 25, 2023Updated 3 years ago
- A rule engine based on Attempto Controlled English☆21Nov 1, 2024Updated last year
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- ☆13Dec 20, 2017Updated 8 years ago
- Easily create RESTful API's for your MongoEngine documents. Inspired by Django REST framework.☆11Oct 4, 2014Updated 12 years ago
- C parser writen in Python☆17Sep 21, 2026Updated last month
- Hamal is a simple deploy tool for self-hosted Rails applications☆16Jan 18, 2026Updated 9 months 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.
- A series of useful Ruby AST transformations☆10Nov 1, 2013Updated 13 years ago
- Template webpage to demo your amazing workflows☆15Aug 14, 2014Updated 12 years ago
- ☆18Nov 19, 2018Updated 7 years ago
- Testing Theory of Mind (ToM) in language models with epistemic logic☆21Oct 13, 2026Updated 2 weeks ago
- Twitter data mining tool that scans tweets for user definable data sets.☆12Jun 6, 2018Updated 8 years ago
- Trustzone Exploit that allows running code in secure mode on Surface RT (Tegra 3) with the help of Yahallo (by imbushuo)☆11Mar 30, 2023Updated 3 years ago
- Create interactive HTML from BibTeX using BibDesk and Python☆10Oct 22, 2011Updated 15 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆23May 16, 2025Updated last year
- research software engineering taxonomy and criteria☆12May 10, 2026Updated 5 months 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.
- A text editor for boosting your productivity.☆11Feb 5, 2019Updated 7 years ago
- 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
- Find files on git history☆12Apr 7, 2020Updated 6 years ago
- Python Data Structures for Humans™.☆14Apr 6, 2023Updated 3 years ago
- Discourse Based Evaluation of Language Understanding☆21Jan 28, 2023Updated 3 years ago
- Simple regex-based lexer/parser for inline markup☆10Feb 6, 2020Updated 6 years ago
- Python module for easily executing shell commands and retreiving their results in a normalized manner☆14Oct 14, 2016Updated 10 years ago