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 last month
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆143Updated 3 weeks ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Parser library for Kotlin☆48Updated 3 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 3 years ago
- Young and dynamic build system for Python☆21Updated 2 years ago
- Multiplatform dynamic visualization framework including Plotly-kt☆41Updated last month
- ☆44Updated last week
- Black-box testing of stateful systems using properties☆16Updated 2 years ago
- Parser-combinators with Multiplatform Kotlin Coroutines☆165Updated 11 months ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/python☆48Updated 2 years ago
- Discrete Event Simulator☆75Updated 5 months ago
- Arrow Analysis Plugin☆30Updated last week
- Litmus testing tool for Kotlin/Native (WIP)☆67Updated 6 months ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆16Updated 3 weeks ago
- Next-gen Dependency Injection for Kotlin (WIP)☆112Updated 3 months ago
- Examples how to use jlink with kotlin in gradle and maven☆36Updated 2 years ago
- Kotlin Graphviz DOT DSL☆30Updated 2 years ago
- A Kotlin Multi-Platform ecosystem for symbolic AI☆108Updated last week
- [NO LONGER MAINTAINED] 🟣 A Kotlin framework for web applications, cool libraries that go along with it!☆42Updated 4 months ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins☆89Updated last week
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!☆77Updated 6 months ago
- Fuzzer for Kotlin libraries☆111Updated last week
- A pure Kotlin pluggable RPC library, with expect/actual support☆23Updated 2 years ago
- Functional companion to Kotlin's Compiler☆408Updated last week
- Support for Kotlin as a target for ANTLR 4☆266Updated last month
- A plugin for Kotlin compiler for compile-time reflection☆380Updated last year
- Running ONNX models in vanilla Kotlin☆197Updated last month
- Structural Search support for Kotlin☆18Updated 4 years ago
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)☆48Updated this week