tudo-aqua / z3-turnkeyView external linksLinks
TurnKey artifact for Z3
☆43Oct 27, 2025Updated 3 months ago
Alternatives and similar repositories for z3-turnkey
Users that are interested in z3-turnkey are comparing it to the libraries listed below
Sorting:
- ☆12May 20, 2021Updated 4 years ago
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆15Jan 24, 2026Updated 3 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆230Feb 10, 2026Updated last week
- Tensors, Model Inference, Linear Regression, MNIST, LSTM with TensorFlow, DL4j, komputation, DJL on Kotlin☆17Dec 18, 2020Updated 5 years ago
- Demo project for a Kotlin talk: "Facts about Kotlin"☆22Sep 7, 2020Updated 5 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆29Sep 21, 2022Updated 3 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆119Oct 10, 2025Updated 4 months ago
- ☆33Mar 20, 2025Updated 10 months ago
- Kotlin/Java API for various SMT solvers☆36Oct 8, 2025Updated 4 months ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆11Dec 27, 2022Updated 3 years ago
- Litmus testing tool for Kotlin/Native☆72Apr 22, 2025Updated 9 months ago
- ☆44Oct 27, 2025Updated 3 months ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- Make eCitaro go ZZZZ ZZZZ <electrical noise> with less lag☆11Jul 21, 2023Updated 2 years ago
- Plugin to show slides and code examples directly from IntelliJ IDEs☆11Mar 9, 2023Updated 2 years ago
- Vorlesung Analysis für Informatiker WS16/17 an der TUM☆11Oct 18, 2017Updated 8 years ago
- ☆12Nov 22, 2024Updated last year
- An SMT Solver for string constraints☆48Feb 10, 2026Updated last week
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 7 months ago
- Poll JMX attributes from the command line☆17Sep 4, 2012Updated 13 years ago
- Kotlin/Native MPP project template☆10Apr 15, 2019Updated 6 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- A gazelle extension to produce Haskell rules from cabal files☆14Updated this week
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 4 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 5 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 8 months ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated last year
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago
- ☆11Jul 15, 2021Updated 4 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 4 years ago
- ☆11Jan 9, 2018Updated 8 years ago
- ☆15Dec 9, 2025Updated 2 months ago
- A Representation Learning Framework for Property Graphs☆11Dec 21, 2019Updated 6 years ago