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 2 months ago
• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• 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 2 months ago
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 4 years ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated 2 years ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆108Updated 3 years ago
• arrow-kt / arrow-optics
  Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 4 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆32Updated 9 months ago
• breandan / yuri
  👨‍🚀 A type-safe URI builder in Kotlin
  ☆20Updated 3 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 3 years ago
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 6 years ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated 2 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆93Updated 4 months ago
• palatable / shoki
  Purely functional data structures in Java
  ☆39Updated 4 years ago
• EmpowerOperations / getoptk
  the most expressive command line parsing utility for kotlin
  ☆7Updated 6 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated 2 months ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 2 weeks ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆136Updated this week
• aedans / Katalyst
  Kotlin recursion schemes with Arrow
  ☆22Updated 6 years ago
• elizarov / KotlinSerializationPrototypePlayground
  ☆14Updated 8 years ago
• poetix / klenses
  Lenses for Kotlin
  ☆49Updated 4 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆126Updated 3 years ago