TurnKey artifact for Z3
☆46Oct 27, 2025Updated last year
Alternatives and similar repositories for z3-turnkey
Users that are interested in z3-turnkey are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JavaSMT - Unified Java API for SMT solvers.☆245Updated this week
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 years ago
- A Scala equality saturation library☆21Sep 11, 2026Updated last month
- ☆10May 25, 2022Updated 4 years ago
- 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.
- DEPRECATED: System modelling and fault-injection-based resilience assessment in Python☆10Mar 17, 2022Updated 4 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 6 years ago
- L10nMessages is a library that makes internationalization (i18n) and localization (l10n) of Java applications easy and safe.☆21Mar 28, 2024Updated 2 years ago
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- Kotlin/Java API for various SMT solvers☆42Aug 11, 2026Updated 2 months ago
- Virtual Inheritance Reverse Engineering☆19Aug 20, 2020Updated 6 years ago
- Репозиторий для лекций и практик по математическим дисциплинам в СПбГУ, читаемым на направлении "Математическое обеспечение и администрир…☆16Nov 6, 2021Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- RFCs for changes to the TLA+ specification language☆12Sep 22, 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.
- ☆37Mar 20, 2025Updated last year
- Source code & exercises in Arend's documentation☆23Jul 24, 2026Updated 3 months ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated 2 years ago
- RISC-V Assembly with a C wrapper☆12Sep 23, 2019Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- Spring Boot Unit testing and Integration testing☆24Nov 27, 2022Updated 3 years ago
- GPU kernel verification with Pulse☆24Oct 23, 2026Updated last week
- Code line highlighting for LaTeX with lstlisting (for beamer)☆16Nov 11, 2014Updated 11 years 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.
- ☆12Jul 8, 2019Updated 7 years ago
- ☆51May 16, 2022Updated 4 years ago
- Mac OSX application to control the DNSCrypt Proxy☆12Oct 7, 2017Updated 9 years ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- jConstraints abstraction layer for Z3☆10Oct 6, 2016Updated 10 years ago
- Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/☆11Jan 8, 2012Updated 14 years ago
- Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.☆11Jan 14, 2019Updated 7 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆32Sep 21, 2022Updated 4 years ago
- ☆12Mar 3, 2021Updated 5 years 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.
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 10 months ago
- ☆11Mar 2, 2026Updated 7 months ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆16Sep 14, 2026Updated last month
- PL Professors List☆20Apr 19, 2026Updated 6 months ago
- ☆18Jul 12, 2024Updated 2 years ago
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 3 years ago
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 4 months ago