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)
  ☆10Updated 3 months ago
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆10Updated last year
• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 2 months ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated 3 weeks ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆137Updated this week
• h0tk3y / probabilistik
  Experimental probabilistic programming framework based on Kotlin coroutines
  ☆20Updated 4 years ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated 2 years ago
• ethanmdavidson / KotlinJSWebWorkerDemo
  A simple demo that shows how WebWorkers can be used in Kotlin/JS
  ☆10Updated 4 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 5 months ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated 2 years ago
• JetBrains / arend-lib
  ☆82Updated 5 months ago
• aedans / Katalyst
  Kotlin recursion schemes with Arrow
  ☆22Updated 6 years ago
• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆108Updated 3 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 3 years ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆127Updated 3 years ago
• JetBrains / intellij-structural-search-for-kotlin
  Structural Search support for Kotlin
  ☆18Updated 4 years ago
• JetBrains-Research / sorrel
  Plugin for checking license compatibility in IntelliJ IDEA
  ☆25Updated 3 years ago
• JetBrains / xodus-dnq
  Data definition and queries Kotlin DSL over Xodus
  ☆86Updated 3 weeks ago
• jonnyzzz / kotlin-fractals
  ☆23Updated 6 years ago
• palatable / shoki
  Purely functional data structures in Java
  ☆39Updated 4 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 6 months ago
• tanelso2 / kotlin-webgl-test
  Example of using Kotlin.js for a WebGL project
  ☆12Updated last year
• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆87Updated last week
• beryx-gist / badass-jlink-example-kotlin-javafx
  Using the Badass JLink Plugin with Kotlin and JavaFX
  ☆12Updated 4 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated last month
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 4 years ago