JetBrains-Research / litmusktLinks
Litmus testing tool for Kotlin/Native (WIP)
β9Updated 2 months ago
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β10Updated last year
- Young and dynamic build system for Pythonβ21Updated 2 years ago
- Kotlin/Java API for various SMT solversβ31Updated last month
- A platform for analysis of Java bytecodeβ32Updated 8 months ago
- β37Updated last week
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.β7Updated 2 years ago
- A simple example of kotlim compiler plugin with FIR and IR.β13Updated 2 years ago
- Fuzzer for Kotlin librariesβ72Updated last month
- fast and effective way to access and analyze java bytecodeβ27Updated this week
- A framework for the large scale analysis of programming language usage.β27Updated last year
- IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin codeβ42Updated 3 weeks ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JSβ10Updated 4 years ago
- β95Updated 2 weeks ago
- Universal test framework for cli tools [mainly for code analyzers and compilers]β43Updated this week
- Future of general purpose Π‘onfiguration languages. Side-effect-less dialect of Kotlin.β82Updated 2 years ago
- β51Updated 3 years ago
- Multiplatform dynamic visualization framework including Plotly-ktβ40Updated last week
- A clean multi-platform re-implementation of dataforge conceptsβ26Updated last month
- AI/LLM tool use (function calling) JSON Schema generator - a Kotlin multiplatform libraryβ33Updated this week
- 100 example uses for Kotlin dataframeβ10Updated last year
- Arrow Analysis Pluginβ28Updated 2 weeks ago
- Bot for Kotlin chats in telegram.β24Updated last week
- Kotlin Multiplatform Collection of Benchmarks focused on Kotlin/Wasm performanceβ16Updated last week
- Kotlin/JS declarations generatorβ42Updated 2 months ago
- Experimental probabilistic programming framework based on Kotlin coroutinesβ20Updated 4 years ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ12Updated 3 weeks ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ136Updated this week
- Lightweight SCADA device servers and integrations in Kotlin-Multiplatformβ32Updated this week
- Plugin for checking license compatibility in IntelliJ IDEAβ25Updated 3 years ago