Alternatives and similar repositories for KotlinFuzzer:

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

• elizarov / KotlinSerializationPrototypePlayground
  ☆14Updated 7 years ago
• FormalLanguageConstrainedPathQuerying / formal-lang-course
  Курс по формальным языкам: шаблон для домашних работ + материалы
  ☆7Updated this week
• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆106Updated 2 years ago
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• JetBrains / arend-lib
  ☆80Updated this week
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆30Updated 2 weeks ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• metaborg / spoofax-intellij
  ☆11Updated 6 months ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated 2 years ago
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 4 years ago
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• h0tk3y / probabilistik
  Experimental probabilistic programming framework based on Kotlin coroutines
  ☆20Updated 3 years ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated last year
• arrow-kt / arrow-meta-prototype
  ☆23Updated 5 years ago
• JetBrains-Research / viktor
  Efficient f64-only ndarray in Kotlin
  ☆126Updated 6 months ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 2 years ago
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 6 years ago
• YaccConstructor / YaccConstructor
  Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …
  ☆40Updated 5 years ago
• Tenkiv / physikal
  Mirror of Gitlab Repository
  ☆34Updated 4 years ago
• jean79 / yested_fw
  ☆35Updated 5 years ago
• buildfoundation / ketolang
  Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.
  ☆81Updated 2 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 2 years ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆71Updated 2 months ago
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 3 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆92Updated this week
• perses-games / kudens
  Develop browser games in Kotlin
  ☆30Updated 3 years ago
• JetBrains / rsynk
  rsync ssh server for JVM in Kotlin
  ☆32Updated 5 years ago
• poetix / klenses
  Lenses for Kotlin
  ☆49Updated 4 years ago