Alternatives and similar repositories for KotlinFuzzer

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

• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆9Updated 2 months ago
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆10Updated last year
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated 3 months ago
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated last month
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• metaborg / spoofax-intellij
  ☆11Updated last month
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 3 years ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated 2 years ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated 2 years ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• elizarov / KotlinSerializationPrototypePlayground
  ☆14Updated 8 years ago
• jonnyzzz / kotlin-fractals
  ☆23Updated 6 years ago
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• JetBrains / arend-lib
  ☆82Updated 3 months ago
• JetBrains / xodus-dnq
  Data definition and queries Kotlin DSL over Xodus
  ☆86Updated last week
• perses-games / kudens
  Develop browser games in Kotlin
  ☆30Updated 3 years ago
• dhakehurst / net.akehurst.language
  Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)
  ☆47Updated last week
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 4 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• arrow-kt / arrow-check
  Λrrow Check - Property based testing in Kotlin - It's part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆25Updated 3 years ago
• Strumenta / MPSServer
  ☆20Updated last year
• mstewartgallus / jsystemf
  Just a little toy System F interpreter, doesn't even have proper generics yet.
  ☆12Updated 5 years ago
• h0tk3y / probabilistik
  Experimental probabilistic programming framework based on Kotlin coroutines
  ☆20Updated 4 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 4 months ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated last month
• JetBrains / kotlin-compiler-devkit
  ☆37Updated last week
• junkdog / constexpr-java
  build-time code-execution for java, a bit like constexpr in C++11
  ☆57Updated 8 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• EmpowerOperations / getoptk
  the most expressive command line parsing utility for kotlin
  ☆7Updated 6 years ago
• buildfoundation / ketolang
  Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.
  ☆82Updated 2 years ago