ItsLastDay / KotlinFuzzer

Related projects ⓘ

Alternatives and complementary repositories for KotlinFuzzer

• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆28Updated 3 weeks ago
• jean79 / yested_fw
  ☆35Updated 5 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆70Updated last week
• JetBrains / arend-lib
  ☆79Updated last week
• perses-games / kudens
  Develop browser games in Kotlin
  ☆30Updated 3 years ago
• arrow-kt / Category-Theory-for-Programmers.kt
  Kotlin sample code for Bartosz Milewski's CT for Programmers
  ☆105Updated 2 years ago
• korlibs-archive / kmem
  Bit, Array and Fast Memory utilities for Multiplatform Kotlin 1.3
  ☆10Updated 2 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆74Updated last year
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 2 years ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆20Updated last year
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆90Updated this week
• arrow-kt / arrow-optics
  Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆20Updated 3 years ago
• demiurg906 / test-data-helper-plugin
  ☆19Updated this week
• poetix / klenses
  Lenses for Kotlin
  ☆48Updated 3 years ago
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 6 years ago
• JetBrains / xodus-dnq
  Data definition and queries Kotlin DSL over Xodus
  ☆86Updated this week
• xenomachina / kessel
  A simple parser combinator library for Kotlin
  ☆29Updated 4 years ago
• cblp / funlangs
  Functional languages index
  ☆42Updated 5 years ago
• breandan / yuri
  👨‍🚀 A type-safe URI builder in Kotlin
  ☆20Updated 2 years ago
• JetBrains / noria-kt
  Abstract Reconciliation for Kotlin
  ☆17Updated 6 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆28Updated 3 weeks ago
• arrow-kt / arrow-ank
  Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library
  ☆13Updated 3 years ago
• elizarov / KotlinSerializationPrototypePlayground
  ☆14Updated 7 years ago
• JetBrains / rsynk
  rsync ssh server for JVM in Kotlin
  ☆32Updated 5 years ago
• UnitTestBot / jacodb
  fast and effective way to access and analyze java bytecode
  ☆20Updated this week
• 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
• aedans / Katalyst
  Kotlin recursion schemes with Arrow
  ☆22Updated 5 years ago
• buildfoundation / ketolang
  Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.
  ☆81Updated 2 years ago