Alternatives and similar repositories for z3-turnkey

Users that are interested in z3-turnkey are comparing it to the libraries listed below

• TsaiAnson / verif

  View on GitHub
  ☆12May 20, 2021Updated 4 years ago
• arend-lang / tutorial-code

  View on GitHub
  Source code & exercises in Arend's documentation
  ☆21Jul 19, 2021Updated 4 years ago
• MKhalusova / kotlin-bayes

  View on GitHub
  Naive Bayes Tweet Sentiment Classifier in Kotlin
  ☆14Sep 21, 2020Updated 5 years ago
• vaibhavbsharma / java-ranger

  View on GitHub
  Java Ranger is a path-merging extension of Symbolic PathFinder
  ☆15Jan 24, 2026Updated 3 weeks ago
• sosy-lab / java-smt

  View on GitHub
  JavaSMT - Unified Java API for SMT solvers.
  ☆230Feb 10, 2026Updated last week
• zaleslaw / KotlinDeepLearningTutorial

  View on GitHub
  Tensors, Model Inference, Linear Regression, MNIST, LSTM with TensorFlow, DL4j, komputation, DJL on Kotlin
  ☆17Dec 18, 2020Updated 5 years ago
• jonnyzzz / kotlin-game-of-life

  View on GitHub
  Demo project for a Kotlin talk: "Facts about Kotlin"
  ☆22Sep 7, 2020Updated 5 years ago
• DeepseaPlatform / coastal

  View on GitHub
  Concolic analysis tool for Java
  ☆21Jul 17, 2023Updated 2 years ago
• iwilare / church-rosser

  View on GitHub
  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
• pietrobraione / jbse

  View on GitHub
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆119Oct 10, 2025Updated 4 months ago
• sequencer / arithmetic

  View on GitHub
  ☆33Mar 20, 2025Updated 10 months ago
• UnitTestBot / ksmt

  View on GitHub
  Kotlin/Java API for various SMT solvers
  ☆36Oct 8, 2025Updated 4 months ago
• iDoka / hdl-secded-producer

  View on GitHub
  MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.
  ☆11Dec 27, 2022Updated 3 years ago
• JetBrains-Research / litmuskt

  View on GitHub
  Litmus testing tool for Kotlin/Native
  ☆72Apr 22, 2025Updated 9 months ago
• ChezJrk / verified-scheduling

  View on GitHub
  ☆44Oct 27, 2025Updated 3 months ago
• jayhorn / jayhorn

  View on GitHub
  Static checker for Java
  ☆87Jan 16, 2025Updated last year
• NyCodeGHG / omsi-launcher

  View on GitHub
  Make eCitaro go ZZZZ ZZZZ <electrical noise> with less lag
  ☆11Jul 21, 2023Updated 2 years ago
• DerekBum / composeSlidesPresenter

  View on GitHub
  Plugin to show slides and code examples directly from IntelliJ IDEs
  ☆11Mar 9, 2023Updated 2 years ago
• FoxAviation / AnalysisSummary

  View on GitHub
  Vorlesung Analysis für Informatiker WS16/17 an der TUM
  ☆11Oct 18, 2017Updated 8 years ago
• ChuanMeng / RLT4Reranking

  View on GitHub
  ☆12Nov 22, 2024Updated last year
• uuverifiers / ostrich

  View on GitHub
  An SMT Solver for string constraints
  ☆48Feb 10, 2026Updated last week
• software-engineering-and-security / Gleipner

  View on GitHub
  A benchmark for Java gadget chain detecting algorithms.
  ☆15Jun 20, 2025Updated 7 months ago
• bdelbosc / jmxstat

  View on GitHub
  Poll JMX attributes from the command line
  ☆17Sep 4, 2012Updated 13 years ago
• jonnyzzz / kotlin-native-mpp-template

  View on GitHub
  Kotlin/Native MPP project template
  ☆10Apr 15, 2019Updated 6 years ago
• jkkummerfeld / 1ec-graph-parser

  View on GitHub
  A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation
  ☆11Nov 8, 2022Updated 3 years ago
• cvndsh / rebus

  View on GitHub
  REBUS: A Robust Evaluation Benchmark of Understanding Symbols
  ☆13Aug 13, 2024Updated last year
• tweag / gazelle_cabal

  View on GitHub
  A gazelle extension to produce Haskell rules from cabal files
  ☆14Updated this week
• JuulLabs / kotlin-guides

  View on GitHub
  Style guidelines for JUUL Lab's Kotlin projects.
  ☆10Apr 2, 2021Updated 4 years ago
• freechipsproject / chisel-coverage

  View on GitHub
  A coverage library for Chisel designs
  ☆11Mar 12, 2020Updated 5 years ago
• JetBrains / Chocolatey

  View on GitHub
  Chocolatey packages for JetBrains products.
  ☆15Sep 22, 2017Updated 8 years ago
• bpinaud / Porgy

  View on GitHub
  Visual graph rewriting platform
  ☆10Jun 3, 2025Updated 8 months ago
• Lipen / kotlin-satlib

  View on GitHub
  🗿 SAT solver wrappers for Kotlin
  ☆11Mar 2, 2024Updated last year
• jcuda / jcuda-matrix-utils

  View on GitHub
  Utility classes for dense and sparse matrices in JCuda
  ☆11Mar 8, 2019Updated 6 years ago
• libcapstone / libcapstone

  View on GitHub
  ☆11Jul 15, 2021Updated 4 years ago
• sfu-cl-lab / FactorBase

  View on GitHub
  The source code repository for the FactorBase system
  ☆10Mar 17, 2024Updated last year
• TobiReinhart / sparse-tensor

  View on GitHub
  typesafe implementation of tensor algebra in Haskell
  ☆13Feb 27, 2021Updated 4 years ago
• aaronbell / AirAmerica

  View on GitHub
  ☆11Jan 9, 2018Updated 8 years ago
• inferablejump / bagpype

  View on GitHub
  ☆15Dec 9, 2025Updated 2 months ago
• yifan-h / PGE

  View on GitHub
  A Representation Learning Framework for Property Graphs
  ☆11Dec 21, 2019Updated 6 years ago