ItsLastDay / KotlinFuzzerLinks
Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
☆7Updated 2 years ago
Alternatives and similar repositories for KotlinFuzzer
Users that are interested in KotlinFuzzer are comparing it to the libraries listed below
Sorting:
- Litmus testing tool for Kotlin/Native (WIP)☆9Updated last month
- 🗿 SAT solver wrappers for Kotlin☆9Updated last year
- Kotlin/Java API for various SMT solvers☆31Updated 3 weeks ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆107Updated 3 years ago
- IntelliJ IDEA plugin for Frege language☆40Updated 3 years ago
- Parser Combinator library for Kotlin☆27Updated 6 years ago
- ☆82Updated 3 months ago
- ☆14Updated 8 years ago
- A simple parser combinator library for Kotlin☆29Updated 4 years ago
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated 2 months ago
- Λrrow Optics is part of Λrrow, a functional companion to Kotlin's Standard Library☆20Updated 4 years ago
- Monads for Kotlin☆120Updated 6 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- ☆11Updated last month
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins☆87Updated 3 weeks ago
- 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
- A Java parser combinator library written with an unmatched feature set.☆126Updated 3 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆44Updated 3 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- Simple parser combinator library for Kotlin☆25Updated 2 years ago
- ☆20Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)☆47Updated this week
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 2 years ago
- Teaching language LaMa for a compiler course☆75Updated last month
- Λrrow Ank is part of Λrrow, a functional companion to Kotlin's Standard Library☆13Updated 4 years ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- Code editor component for web apps☆40Updated 5 years ago
- Functional languages index☆42Updated 5 years ago