☆24Oct 27, 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:
- Python Bindings for the Probabilistic Model Checker Storm☆47Updated this week
- A Modern Probabilistic Model Checker☆177Updated this week
- ☆31Aug 19, 2026Updated 2 months ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- Python bindings for carl☆11May 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- ☆20Sep 16, 2026Updated last month
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 4 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 9 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 4 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆56Jun 22, 2026Updated 4 months ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago
- An Automata Learning Library Written in Python☆252Updated this week
- 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.
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 6 years ago
- Simple backup-application for automated website backups.☆12Aug 23, 2026Updated 2 months ago
- 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
- In-game overlay Flash timer for popular game League of Legends.☆11Aug 7, 2023Updated 3 years ago
- A Julia package for BDD and OBDD☆12Oct 27, 2020Updated 6 years ago
- A simple python implementation of a DFA.☆23May 10, 2024Updated 2 years ago
- Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.☆12May 1, 2025Updated last year
- ☆11Jun 4, 2026Updated 4 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆34Sep 1, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A library for defining and efficiently solving program synthesis tasks in Julia.☆44Oct 1, 2026Updated 3 weeks ago
- Implementation of multi-core (binary) decision diagrams☆91Oct 15, 2026Updated 2 weeks ago
- Code of the Paper "Time-Efficient Reinforcement Learning with Stochastic Stateful Policies"☆25May 5, 2024Updated 2 years ago
- ☆22May 24, 2020Updated 6 years ago
- Write Python modules in Lean! (WIP)☆16Updated this week
- Homework assignments of Computer Architecture (USTC 2020 spring)☆12Mar 8, 2021Updated 5 years ago
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆13Jan 21, 2025Updated last year
- Code for FormulaNet in NIPS 2017☆32Apr 10, 2018Updated 8 years ago
- 🌳 Clingo grammar for tree-sitter☆16Updated this week
- 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.
- ☆19Oct 21, 2021Updated 5 years ago
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated 2 years ago
- A Static Analysis Tool For Android Apps☆20Dec 19, 2025Updated 10 months ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 4 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated 2 months ago
- 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
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago