ItsLastDay / KotlinFuzzer
Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
☆7Updated last year
Related projects ⓘ
Alternatives and complementary repositories for KotlinFuzzer
- Kotlin/Java API for various SMT solvers☆30Updated last month
- ☆35Updated 5 years ago
- ☆79Updated last week
- Develop browser games in Kotlin☆30Updated 3 years ago
- Kotlin sample code for Bartosz Milewski's CT for Programmers☆105Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆12Updated 2 years ago
- the most expressive command line parsing utility for kotlin☆7Updated 5 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆42Updated 2 years ago
- Lenses for Kotlin☆48Updated 3 years ago
- ☆20Updated 2 weeks ago
- Young and dynamic build system for Python☆20Updated last year
- Experimental probabilistic programming framework based on Kotlin coroutines☆20Updated 3 years ago
- Functional languages index☆42Updated 5 years ago
- Monads for Kotlin☆120Updated 6 years ago
- Teaching language LaMa for a compiler course☆70Updated this week
- Bot for Kotlin chats in telegram.☆22Updated this week
- https://openjdk.org/projects/tsan☆25Updated this week
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 2 years ago
- ☆11Updated 3 months ago
- ☆14Updated 7 years ago
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Examples how to use jlink with kotlin in gradle and maven☆35Updated last year
- Fast Bytecode Analysis☆15Updated 8 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.☆81Updated 2 years ago
- IntelliJ IDEA plugin for Frege language☆40Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago
- Parser Combinator library for Kotlin☆27Updated 6 years ago