whitemech / pylogicsView external linksLinks
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 2 years ago
- Natural Language (NL) to Linear Temporal Logic (LTL)☆91Sep 17, 2025Updated 4 months ago
- 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.☆32Updated this week
- From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)☆79Mar 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…☆38Updated this week
- ☆10Oct 26, 2022Updated 3 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
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- ☆11Nov 12, 2017Updated 8 years ago
- MPIA Python Tutorial Source☆14May 15, 2012Updated 13 years ago
- This repository contains a backend service for fetching VIX index futures data using the vix_index_futures.py library. The app.py script …☆14Mar 19, 2023Updated 2 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Backtesting Engine to Backtest Index Strategies on Options, Futures and Spot (BankNIFTY, NIFTY) for Indian Share Market☆11May 9, 2020Updated 5 years ago
- This gem provides a way to connect to aws redshift using the ruby-pg☆12Jun 28, 2023Updated 2 years ago
- A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs☆12Dec 17, 2024Updated last year
- 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
- A practical http client library for sending data to http servers.☆10Jul 10, 2024Updated last year
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- 🎮 A configurable Breakout environment for reinforcement learning☆11Mar 20, 2018Updated 7 years ago
- Fast Computation of Zigzag Persistence☆14Dec 9, 2023Updated 2 years ago
- Decentralized game universe in which players can explore worlds made by others.☆11Mar 11, 2023Updated 2 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Linux process monitor in RUST☆13May 5, 2018Updated 7 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 3 months ago
- This package provides an interface and foundation for verified SAT reasoning☆55Aug 29, 2024Updated last year
- 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
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Mar 3, 2020Updated 5 years ago
- My personal Racket library of useful or generic commands☆11Feb 14, 2025Updated 11 months ago
- Simple text templating (mustache/handlebars style) for Racket.☆11Sep 27, 2018Updated 7 years ago
- Rough Set Python Package is a Python library that provides a set of tools to calculate rough sets and obtain reduct rules.☆16Mar 30, 2024Updated last year
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- A sample project created using modern-package-template☆12Jul 11, 2010Updated 15 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated last week
- Machine learning algorithms for many-body quantum systems. To cite this software publication: https://www.sciencedirect.com/science/artic…☆10Aug 17, 2019Updated 6 years ago
- Demo Rails application that uses declarative_authorization☆72Sep 6, 2010Updated 15 years ago
- CDK construct to make it faster to build EdgeDB backed applications on AWS with high availability using Aurora PostgreSQL and Fargate.☆12Feb 14, 2022Updated 3 years ago