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:
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- GOPHI: an AMR-to-English Verbalizer☆12Feb 5, 2020Updated 6 years ago
- ☆10Jun 11, 2019Updated 7 years ago
- Example code for OCRing a receipt image using tesseract or ABBYY (cloud) and OpenCV☆27Oct 24, 2012Updated 13 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 8 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.
- PANiC - PAraphrasing Noun-Compounds☆15Apr 6, 2018Updated 8 years ago
- Comprehensive LLM evaluation framework: GPQA Diamond to Chatbot Arena. Tests all major models equally, easily extensible.☆17Aug 22, 2024Updated 2 years ago
- ☆72Feb 13, 2021Updated 5 years ago
- Visual and Embodied Concepts evaluation benchmark☆21Oct 10, 2023Updated 3 years ago
- Implementation of Minimum Spanning Trees on Apache Spark.☆10May 25, 2015Updated 11 years ago
- Python observability & instrumentation primitives for metrics and benchmarking☆12May 12, 2018Updated 8 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- A blockly frontend for band.js☆14Feb 27, 2017Updated 9 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆12Aug 16, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 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
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- ☆18Nov 19, 2018Updated 7 years ago
- 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 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quotek is an open source algotrading platform, written in C++.☆10Nov 12, 2020Updated 5 years ago
- Find files on git history☆12Apr 7, 2020Updated 6 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
- News in Privacy-Preserving Machine Learning☆12Feb 5, 2020Updated 6 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Automatic theorem proving via natural language reasoning with LLMs☆23May 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
- Testing Theory of Mind (ToM) in language models with epistemic logic☆21Jul 3, 2026Updated 3 months ago
- Discourse Based Evaluation of Language Understanding☆21Jan 28, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tree Proof Generator☆184Sep 11, 2026Updated last month
- Classical CHAT80 NLP system for Prolog☆28Sep 17, 2026Updated 3 weeks ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 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 6 years ago
- A library for working with QEMU qcow images☆20Oct 3, 2023Updated 3 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 4 years ago