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)β10Updated 3 months ago
- Kotlin/Java API for various SMT solversβ31Updated 2 months ago
- Pure Kotlin CDCL SAT solverβ9Updated last year
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ137Updated this week
- Young and dynamic build system for Pythonβ21Updated 2 years ago
- π² A Kotlin DSL for probabilistic programming.β12Updated 3 years ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 3 years ago
- Parser library for Kotlinβ48Updated 2 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.β7Updated 2 years ago
- Examples how to use jlink with kotlin in gradle and mavenβ35Updated 2 years ago
- Structural Search support for Kotlinβ18Updated 4 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JSβ10Updated 4 years ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language pluginsβ87Updated last week
- Black-box testing of stateful systems using propertiesβ16Updated 2 years ago
- β40Updated last week
- Parser-combinators with Multiplatform Kotlin Coroutinesβ158Updated 8 months ago
- [NO LONGER MAINTAINED] π£ A Kotlin framework for web applications, cool libraries that go along with it!β42Updated 2 weeks ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ12Updated 2 months ago
- A Kotlin Multi-Platform ecosystem for symbolic AIβ103Updated 2 weeks ago
- Multiplatform dynamic visualization framework including Plotly-ktβ40Updated last week
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- Fuzzer for Kotlin librariesβ104Updated last week
- Data definition and queries Kotlin DSL over Xodusβ86Updated 2 weeks ago
- Kotlin Graphviz DOT DSLβ28Updated 2 years ago
- Kotlin Language Support β AST Libraryβ112Updated this week
- Arrow Analysis Pluginβ28Updated last week
- A simple API for programmatically handling maven artifacts and metadataβ78Updated 2 years ago
- Running ONNX models in vanilla Kotlinβ186Updated this week
- Using the Badass JLink Plugin with Kotlin and JavaFXβ12Updated 4 years ago
- Simple projects that demonstrate kweb's capabilities π¦β12Updated 4 years ago