JetBrains-Research / litmusktLinks
Litmus testing tool for Kotlin/Native (WIP)
☆10Updated 3 months ago
Alternatives and similar repositories for litmuskt
Users that are interested in litmuskt are comparing it to the libraries listed below
Sorting:
- Young and dynamic build system for Python☆21Updated 2 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10Updated 4 years ago
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- A simple example of kotlim compiler plugin with FIR and IR.☆13Updated 2 years ago
- Fuzzer for Kotlin libraries☆104Updated last week
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆12Updated 2 months ago
- A platform for analysis of Java bytecode☆32Updated 9 months ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆137Updated this week
- ☆40Updated 2 weeks ago
- Structural Search support for Kotlin☆18Updated 4 years ago
- A framework for the large scale analysis of programming language usage.☆27Updated 2 years ago
- Plugin for JetBrains IDEs to apply "quick fix" from the most relevant intention or inspection 💡☆21Updated 9 months ago
- IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code☆42Updated this week
- Experimental probabilistic programming framework based on Kotlin coroutines☆20Updated 4 years ago
- Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.☆81Updated 2 years ago
- Kotlin/Java API for various SMT solvers☆31Updated 2 months ago
- ☆10Updated 3 years ago
- Multiplatform dynamic visualization framework including Plotly-kt☆40Updated last week
- [NO LONGER MAINTAINED] 🟣 A Kotlin framework for web applications, cool libraries that go along with it!☆42Updated 2 weeks ago
- ☆13Updated last year
- Kotlin/JS declarations generator☆42Updated 3 months ago
- Kotlin Multiplatform Typed OpenAPI Document Parser (KotlinX) with Typed Secondary Custom ADT for inspection, typed transformations, code …☆13Updated 2 months ago
- Port of Andrej Karpathy's llama2.c to Kotlin Multiplatform.☆32Updated last year
- A POC of writing Gradle tasks using wasm as implementation☆11Updated 4 years ago
- Kotlin Multiplatform Collection of Benchmarks focused on Kotlin/Wasm performance☆19Updated last month
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar☆113Updated last year
- ☆51Updated 3 years ago
- Arrow Analysis Plugin☆29Updated last week
- A Kotlin multi-platform library for graph data structures☆20Updated 2 years ago