Lipen / kotlin-satlibLinks
πΏ SAT solver wrappers for Kotlin
β11Updated 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:
- Kotlin/Java API for various SMT solversβ34Updated 3 weeks ago
- Litmus testing tool for Kotlin/Native (WIP)β12Updated 6 months ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ143Updated this week
- Young and dynamic build system for Pythonβ21Updated 2 years ago
- Parser library for Kotlinβ48Updated 3 years ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 3 years ago
- π² A Kotlin DSL for probabilistic programming.β12Updated 3 years ago
- A platform for analysis of Java bytecodeβ34Updated last year
- Multiplatform dynamic visualization framework including Plotly-ktβ41Updated last week
- Arrow Analysis Pluginβ29Updated this week
- Kotlin Graphviz DOT DSLβ30Updated 2 years ago
- β44Updated last week
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- Examples how to use jlink with kotlin in gradle and mavenβ35Updated 2 years ago
- Parser-combinators with Multiplatform Kotlin Coroutinesβ162Updated 10 months ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ15Updated this week
- Structural Search support for Kotlinβ18Updated 4 years ago
- A Kotlin Multi-Platform ecosystem for symbolic AIβ107Updated last week
- [NO LONGER MAINTAINED] π£ A Kotlin framework for web applications, cool libraries that go along with it!β42Updated 3 months ago
- Fuzzer for Kotlin librariesβ111Updated 2 months ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ40Updated 4 years ago
- A simple example of kotlim compiler plugin with FIR and IR.β13Updated 2 years ago
- Black-box testing of stateful systems using propertiesβ16Updated 2 years ago
- Using the Badass JLink Plugin with Kotlin and JavaFXβ12Updated 5 years ago
- This little project provides Kotlin bindings for the popular tree-sitter library. Currently it only supports the Kotlin JVM target, but Kβ¦β52Updated 2 years ago
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etcβ16Updated last week
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!β77Updated 6 months ago
- Auto-generate DSLs for Kotlin using annotationsβ47Updated this week
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language pluginsβ88Updated 2 weeks ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ115Updated last year