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:
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 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.
- PANiC - PAraphrasing Noun-Compounds☆15Apr 6, 2018Updated 8 years ago
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- Code repository for the WWW 2019 paper "Predicting ConceptNet Path Quality Using Crowdsourced Assessments of Naturalness"☆12Feb 1, 2019Updated 7 years ago
- ☆72Feb 13, 2021Updated 5 years ago
- Visual and Embodied Concepts evaluation benchmark☆21Oct 10, 2023Updated 2 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆20Nov 11, 2017Updated 8 years ago
- Git mirror of http://code.google.com/p/pgn4web/☆17Jun 13, 2011Updated 14 years ago
- OWL2 library for Prolog☆113Aug 23, 2019Updated 6 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 8 months 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.
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- A service implementing the Carbon protocol and storing time series data using kairos☆42Mar 11, 2021Updated 5 years ago
- Ray Framework (https://github.com/ray-project/ray) on Kubernetes☆13Oct 12, 2018Updated 7 years ago
- Repository for DISRPT2023 shared task☆17Jul 26, 2024Updated last year
- Resolution theorem proving for predicate logic in pure Python.☆97Nov 20, 2023Updated 2 years ago
- Python observability & instrumentation primitives for metrics and benchmarking☆12May 12, 2018Updated 8 years ago
- ☆18Nov 19, 2018Updated 7 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Quotek is an open source algotrading platform, written in C++.☆11Nov 12, 2020Updated 5 years ago
- Find files on git history☆12Apr 7, 2020Updated 6 years ago
- Tree Proof Generator☆183Apr 23, 2026Updated 3 weeks ago
- Scripts for document-level grammatical error correction.☆19May 5, 2021Updated 5 years ago
- A customizeable React feedback form with optional screenshot via screen capture and canvas editor based on material-ui.☆12Jan 22, 2026Updated 3 months ago
- A simple cli based pomodoro system☆10Mar 21, 2017Updated 9 years ago
- Code for manipulating flashmap (fmap) data structure used in ChromiumOS☆10Dec 11, 2019Updated 6 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- A library for working with QEMU qcow images☆20Oct 3, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆25Apr 7, 2025Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Fast and modular async task library for Google App Engine.☆37Jun 11, 2023Updated 2 years ago
- Relational Algebra, now with more algebra!☆55Apr 13, 2026Updated last month
- Ox is a simple compiler of compilers based on PLY☆13Sep 4, 2019Updated 6 years ago
- trailing stop loss daemon that tracks performance via Philips Hue☆11Apr 24, 2018Updated 8 years ago
- ☆17Mar 21, 2021Updated 5 years ago