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 last month
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆9Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 3 weeks ago
• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆107Updated 3 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 3 years ago
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• JetBrains / arend-lib
  ☆82Updated 3 months ago
• elizarov / KotlinSerializationPrototypePlayground
  ☆14Updated 8 years ago
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 4 years ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated 2 months ago
• arrow-kt / arrow-optics
  Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 4 years ago
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 6 years ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• metaborg / spoofax-intellij
  ☆11Updated last month
• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆87Updated 3 weeks ago
• korlibs / wasm2kt
  Web Assembly to Kotlin and Java converter. Allows to compile a C or C++ program/library, and generate a Kotlin or Java program/library.
  ☆25Updated last year
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆126Updated 3 years ago
• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆28Updated 3 years ago
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆44Updated 3 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• sargunv / cakeparse
  Simple parser combinator library for Kotlin
  ☆25Updated 2 years ago
• Strumenta / MPSServer
  ☆20Updated last year
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• dhakehurst / net.akehurst.language
  Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)
  ☆47Updated this week
• breandan / yuri
  👨‍🚀 A type-safe URI builder in Kotlin
  ☆20Updated 2 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆75Updated last month
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 4 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 5 years ago
• JetBrains / andel
  Code editor component for web apps
  ☆40Updated 5 years ago
• cblp / funlangs
  Functional languages index
  ☆42Updated 5 years ago