A Python library for logic formalisms representation and manipulation.
☆16Jan 21, 2024Updated 2 years ago
Alternatives and similar repositories for pylogics
Users that are interested in pylogics are comparing it to the libraries listed below
Sorting:
- Reinforcement Learning framework for Temporal Goals☆11Mar 6, 2023Updated 3 years ago
- Natural Language (NL) to Linear Temporal Logic (LTL)☆91Sep 17, 2025Updated 5 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A Python package for automata theory.☆59Jan 17, 2024Updated 2 years ago
- Yet another Python project template.☆13Sep 13, 2024Updated last year
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Sep 22, 2023Updated 2 years ago
- A tool for proving and organizing general theorems using Python.☆33Updated this week
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆80Mar 20, 2024Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆40Updated this week
- ☆10Oct 26, 2022Updated 3 years ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- 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
- ☆11Nov 12, 2017Updated 8 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- SRP (Secure Remote Password) 6/6a library for Elixir☆12Nov 5, 2017Updated 8 years ago
- Python wrapper for libcosim☆10Nov 25, 2025Updated 3 months ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Linux process monitor in RUST☆13May 5, 2018Updated 7 years ago
- DRNN with LSTM for monaural source separation☆11Mar 19, 2018Updated 7 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- A frontend for the Racket Package Catalog.☆13Feb 7, 2026Updated last month
- Decentralized game universe in which players can explore worlds made by others.☆11Mar 11, 2023Updated 2 years ago
- ☆14Sep 21, 2023Updated 2 years ago
- My accepted! proposal for the unitary fund quantum computing grant. Also accepted as an abstract to a conference. See github.com/LSaldyt/…☆12Jan 12, 2019Updated 7 years ago
- ☆10Jul 6, 2023Updated 2 years ago
- Tool Support, Extensibility & Interfacing for GOLOG languages☆13Nov 6, 2023Updated 2 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- Code for paper Lang2LTL: Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments☆48Mar 26, 2025Updated 11 months ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆57Mar 3, 2020Updated 6 years ago
- Deprecated. Use https://github.com/lexi-lambda/racket-pvector instead.☆11Dec 6, 2015Updated 10 years ago
- Elevate your language models with insightful diversity metrics.☆11Feb 4, 2024Updated 2 years ago
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Generates types and co for pocketbase cms☆11Nov 4, 2023Updated 2 years ago