Alternatives and similar repositories for javawiz

Users that are interested in javawiz are comparing it to the libraries listed below

• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 3 months ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 4 years ago
• SSW-CocoR / CocoR-Java
  Coco/R for Java
  ☆14Updated 4 years ago
• JetBrains / Grammar-Kit
  Grammar files support & parser/PSI generation for IntelliJ IDEA
  ☆748Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆39Updated last week
• Strumenta / antlr-kotlin
  Support for Kotlin as a target for ANTLR 4
  ☆258Updated 2 months ago
• ucr-riple / NullAwayAnnotator
  A tool to help adapting code bases to NullAway type system.
  ☆16Updated 3 weeks ago
• ohm-softa / ohm-softa.github.io
  Home of the Software Architecture class at Ohm
  ☆27Updated 3 weeks ago
• janchaloupka / web-scraper-nabidek-pronajmu
  Nástroj pro hlídání nových nabídek nemovitostí na populárních realitních serverech. Nabídky jsou vypisovány do Discord roomky.
  ☆70Updated last week
• UnitTestBot / jacodb
  fast and effective way to access and analyze java bytecode
  ☆31Updated this week
• nigl / homeassistant_eta_integration
  Integration of ETA (Heating) sensors to home assistant
  ☆30Updated 7 months ago
• gmu-swe / crochet
  ☆12Updated 3 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆33Updated 10 months ago
• cansik / kotlin-latex-listing
  A syntax highlighting template for the Kotlin language in LaTeX listings.
  ☆129Updated 4 months ago
• h0tk3y / better-parse
  A nice parser combinator library for Kotlin
  ☆425Updated last year
• ModelingValueGroup / jdclare
  jdclare - a declarative engine by the Modeling Value Group
  ☆11Updated 5 years ago
• semoro / KOS
  Run https://github.com/JetBrains/kotlin-native without OS!
  ☆22Updated 8 years ago
• matpato / reportisel
  Template para relatório escrito em LaTex e Word
  ☆10Updated 2 months ago
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆226Updated this week
• JetBrains / kotlin-compiler-devkit
  ☆40Updated last week
• UNamurCSFaculty / ThesisTemplate
  ☆12Updated last month
• proganalysis / type-inference
  Automatically exported from code.google.com/p/type-inference
  ☆27Updated 6 years ago
• isel-leic-ave / lae-2022-23-sem2-i41d
  Source code repository for LAE 2022-23 Summer semester of i41d classroom
  ☆13Updated 2 years ago
• fan-tom / intellij-codeowners
  Support of CODEOWNERS file in Intellij-based IDEs
  ☆23Updated last week
• ftomassetti / kllvm
  Kotlin library to work with LLVM
  ☆60Updated 3 years ago
• dacapobench / dacapobench
  The DaCapo benchmark suite
  ☆185Updated this week
• isel-leic-pc / s2223v-li41d-li41n
  Concurrent Programming - 2023 - LEIC41D / LEIC41N
  ☆12Updated 2 years ago
• JetBrains / lincheck
  Framework for testing concurrent code on JVM languages
  ☆633Updated this week
• pietrobraione / sushi
  The SUSHI test case generator
  ☆22Updated last year
• kotlinx / ast
  Generic AST parsing library for kotlin multiplatform
  ☆342Updated 11 months ago