☆23Aug 10, 2026Updated this week
Alternatives and similar repositories for paynt
Users that are interested in paynt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Modern Probabilistic Model Checker☆169Updated this week
- ☆30May 19, 2025Updated last year
- Python bindings for carl☆11May 27, 2025Updated last year
- ☆20Jun 21, 2026Updated last month
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆55Jun 22, 2026Updated last month
- 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.
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 4 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago
- A simple python implementation of a DFA.☆23May 10, 2024Updated 2 years ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆36Aug 1, 2026Updated last week
- Simple backup-application for automated website backups.☆12Sep 3, 2024Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆89Mar 15, 2025Updated last year
- Code for the ICML 2020 publication "Information Particle Filter Tree: An Online Algorithm for POMDPs with Belief-Based Rewards on Continu…☆14Jul 3, 2020Updated 6 years ago
- Python package for Dec-POMDP files in the .dpomdp format☆11Oct 28, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Implementation of multi-core (binary) decision diagrams☆90Jul 28, 2026Updated last week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆33Jun 27, 2026Updated last month
- An easy docker-compose deployement of hotcrp☆21Sep 7, 2022Updated 3 years ago
- ☆21Updated this week
- Code for FormulaNet in NIPS 2017☆32Apr 10, 2018Updated 8 years ago
- ☆22May 24, 2020Updated 6 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆86Apr 12, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated last year
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated 2 years ago
- book for Halide language programming☆13Sep 8, 2021Updated 4 years ago
- ☆35Oct 1, 2024Updated last year
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 5 months 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.
- I moved this folder. Keeping this repo up for archival purposes only.☆17Jun 5, 2024Updated 2 years ago
- Create and revise bibtex entries from DBLP☆26Mar 3, 2026Updated 5 months ago
- ☆16Jan 19, 2021Updated 5 years ago
- ☆11May 19, 2022Updated 4 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Grow procedual art☆37Mar 25, 2025Updated last year