JetBrains-Research / litmusktLinks
Litmus testing tool for Kotlin/Native (WIP)
☆11Updated 4 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
- Kotlin/Java API for various SMT solvers☆33Updated 4 months ago
- A platform for analysis of Java bytecode☆33Updated 11 months ago
- Fuzzer for Kotlin libraries☆106Updated last month
- A simple example of kotlim compiler plugin with FIR and IR.☆13Updated 2 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆142Updated last week
- Experimental probabilistic programming framework based on Kotlin coroutines☆20Updated 4 years ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆13Updated last month
- Multiplatform dynamic visualization framework including Plotly-kt☆40Updated last month
- ☆41Updated last week
- ☆51Updated 3 years ago
- Using the Badass JLink Plugin with Kotlin and JavaFX☆12Updated 4 years ago
- Structural Search support for Kotlin☆18Updated 4 years ago
- Kotlin/JS declarations generator☆42Updated 5 months ago
- IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin code☆45Updated last week
- Port of Andrej Karpathy's llama2.c to Kotlin Multiplatform.☆32Updated last year
- Future of general purpose Сonfiguration languages. Side-effect-less dialect of Kotlin.☆81Updated 3 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 3 years ago
- A Kotlin multi-platform library for graph data structures☆21Updated 2 years ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar☆115Updated last year
- Multiplatform combinatoric sequences for Kotlin, inspired by python-itertools.☆17Updated last month
- A clean multi-platform re-implementation of dataforge concepts☆26Updated 2 months ago
- Plugin for JetBrains IDEs to apply "quick fix" from the most relevant intention or inspection 💡☆21Updated 10 months ago
- A framework for the large scale analysis of programming language usage.☆28Updated 2 years ago
- Kotlin Multiplatform Collection of Benchmarks focused on Kotlin/Wasm performance☆20Updated this week
- An immutable, infinite-precision Rational (ratio, fraction) class for Kotlin☆14Updated this week
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/python☆48Updated last year
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers …☆24Updated last week