UnitTestBot / ksmtLinks
Kotlin/Java API for various SMT solvers
β31Updated last month
Alternatives and similar repositories for ksmt
Users that are interested in ksmt are comparing it to the libraries listed below
Sorting:
- fast and effective way to access and analyze java bytecodeβ27Updated this week
- πΏ SAT solver wrappers for Kotlinβ10Updated last year
- A platform for analysis of Java bytecodeβ32Updated 8 months ago
- Litmus testing tool for Kotlin/Native (WIP)β9Updated 2 months ago
- β37Updated last week
- TurnKey artifact for Z3β38Updated 2 weeks ago
- Young and dynamic build system for Pythonβ21Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformerβ12Updated 2 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commitsβ107Updated last year
- A framework for the large scale analysis of programming language usage.β27Updated last year
- Automated unit test generation and precise code analysis for Javaβ139Updated last year
- Universal Symbolic Virtual Machineβ24Updated this week
- IntelliJ IDEA plugin for Frege languageβ40Updated 3 years ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ136Updated this week
- KeY Theorem Prover for Deductive Java Verificationβ58Updated this week
- Pluggable type-checking for Javaβ22Updated this week
- MPS-extensions aims to ease language development within MPS.β87Updated this week
- JaTyC: a typestate checker for Javaβ17Updated 4 months ago
- VSCode extension that is designed to help automate writing of Coq proofs.β106Updated 2 weeks ago
- Kotlin Language Support β AST Libraryβ112Updated last week
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.β7Updated 2 years ago
- A simple tool for versioning your JVM app which calculates the version of the commit in SemVer formatβ37Updated this week
- A framework for testing compilers' type checkersβ54Updated 10 months ago
- The Next Generation Logic Libraryβ145Updated 7 months ago
- Universal test framework for cli tools [mainly for code analyzers and compilers]β43Updated last week
- JavaSMT - Unified Java API for SMT solvers.β226Updated last week
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language pluginsβ87Updated last month
- Cluster-based cloud mechanism for running SAVE frameworkβ38Updated 2 months ago
- SMTInterpol interpolating SMT solverβ66Updated 2 weeks ago
- Support for Kotlin as a target for ANTLR 4β251Updated 2 weeks ago