ItsLastDay / KotlinFuzzer

Related projects ⓘ

Alternatives and complementary repositories for KotlinFuzzer

• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆30Updated last month
• jean79 / yested_fw
  ☆35Updated 5 years ago
• 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
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• EmpowerOperations / getoptk
  the most expressive command line parsing utility for kotlin
  ☆7Updated 5 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
  ☆42Updated 2 years ago
• poetix / klenses
  Lenses for Kotlin
  ☆48Updated 3 years ago
• demiurg906 / test-data-helper-plugin
  ☆20Updated 2 weeks ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆20Updated last year
• h0tk3y / probabilistik
  Experimental probabilistic programming framework based on Kotlin coroutines
  ☆20Updated 3 years ago
• cblp / funlangs
  Functional languages index
  ☆42Updated 5 years ago
• h0tk3y / kotlin-monads
  Monads for Kotlin
  ☆120Updated 6 years ago
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆70Updated this week
• Heapy / kotbot
  Bot for Kotlin chats in telegram.
  ☆22Updated this week
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆25Updated this week
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• metaborg / spoofax-intellij
  ☆11Updated 3 months ago
• elizarov / KotlinSerializationPrototypePlayground
  ☆14Updated 7 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated last year
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 8 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• buildfoundation / ketolang
  Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.
  ☆81Updated 2 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 2 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 7 months ago
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago