JetBrains-Research / litmusktLinks
Litmus testing tool for Kotlin/Native (WIP)
β9Updated last month
Alternatives and similar repositories for litmuskt
Users that are interested in litmuskt are comparing it to the libraries listed below
Sorting:
- πΏ SAT solver wrappers for Kotlinβ9Updated last year
- A simple demo that shows how WebWorkers can be used in Kotlin/JSβ10Updated 4 years ago
- A platform for analysis of Java bytecodeβ31Updated 7 months ago
- Young and dynamic build system for Pythonβ21Updated last year
- Kotlin/Java API for various SMT solversβ31Updated 3 weeks ago
- β30Updated last week
- Fuzzer for Kotlin librariesβ67Updated 2 weeks ago
- A simple example of kotlim compiler plugin with FIR and IR.β13Updated 2 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.β7Updated 2 years ago
- fast and effective way to access and analyze java bytecodeβ27Updated last week
- β75Updated last week
- Kotlin/JS declarations generatorβ42Updated last month
- IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin codeβ42Updated 2 weeks ago
- A framework for the large scale analysis of programming language usage.β26Updated last year
- β51Updated 3 years ago
- Kotlin Multiplatform Collection of Benchmarks focused on Kotlin/Wasm performanceβ16Updated last month
- Future of general purpose Π‘onfiguration languages. Side-effect-less dialect of Kotlin.β82Updated 2 years ago
- Plugin for JetBrains IDEs to apply "quick fix" from the most relevant intention or inspection π‘β21Updated 7 months ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ137Updated this week
- AI/LLM tool use (function calling) JSON Schema generator - a Kotlin multiplatform libraryβ32Updated this week
- A clean multi-platform re-implementation of dataforge conceptsβ26Updated 3 weeks ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- Language Integrated Query for Kotlinβ80Updated this week
- Multiplatform dynamic visualization framework including Plotly-ktβ40Updated 2 months ago
- Kotlin REPL with an IDE-like experience in your terminalβ36Updated last week
- Universal test framework for cli tools [mainly for code analyzers and compilers]β43Updated this week
- Better initial-style DSLs in Kotlinβ36Updated 2 weeks ago
- Literally.β17Updated 6 months ago
- Experimental probabilistic programming framework based on Kotlin coroutinesβ20Updated 4 years ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago