Lipen / kotlin-satlibLinks
πΏ SAT solver wrappers for Kotlin
β10Updated last year
Alternatives and similar repositories for kotlin-satlib
Users that are interested in kotlin-satlib are comparing it to the libraries listed below
Sorting:
- Litmus testing tool for Kotlin/Native (WIP)β9Updated 2 months ago
- Kotlin/Java API for various SMT solversβ31Updated last month
- Young and dynamic build system for Pythonβ21Updated 2 years ago
- A platform for analysis of Java bytecodeβ32Updated 8 months ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- β37Updated last week
- Arrow Analysis Pluginβ28Updated 2 weeks ago
- π² A Kotlin DSL for probabilistic programming.β12Updated 3 years ago
- A simple example of kotlim compiler plugin with FIR and IR.β13Updated 2 years ago
- Parser-combinators with Multiplatform Kotlin Coroutinesβ158Updated 6 months ago
- Fuzzer for Kotlin librariesβ72Updated last month
- Parser library for Kotlinβ48Updated 2 years ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- AI/LLM tool use (function calling) JSON Schema generator - a Kotlin multiplatform libraryβ33Updated this week
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ136Updated this week
- fast and effective way to access and analyze java bytecodeβ27Updated this week
- Black-box testing of stateful systems using propertiesβ16Updated 2 years ago
- Next gen dependency injection library for Kotlin [WIP]β110Updated 2 months ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language pluginsβ87Updated last month
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.β7Updated 2 years ago
- Multiplatform dynamic visualization framework including Plotly-ktβ40Updated last week
- β95Updated 2 weeks ago
- IntelliJ plug-in to visualize the Frontend Intermediate Representation (FIR tree) of a piece of Kotlin codeβ42Updated 3 weeks ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ111Updated last year
- A monadic (I think...) recursive-descent parser written in Kotlinβ23Updated 3 months ago
- Gettext compatible library and Gradle pluginβ48Updated 3 months ago
- Efficient f64-only ndarray in Kotlinβ128Updated 11 months ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ12Updated 3 weeks ago
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etcβ16Updated this week
- Regular Invariant Generator and SMTLIB2 code transformerβ12Updated 2 years ago