Alternatives and similar repositories for kotlin-satlib

Users that are interested in kotlin-satlib are comparing it to the libraries listed below

• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆34Updated 3 weeks ago
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆12Updated 6 months ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆143Updated this week
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated 2 years ago
• valderman / konbini
  Parser library for Kotlin
  ☆48Updated 3 years ago
• breandan / yuri
  👨‍🚀 A type-safe URI builder in Kotlin
  ☆20Updated 3 years ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆34Updated last year
• SciProgCentre / visionforge
  Multiplatform dynamic visualization framework including Plotly-kt
  ☆41Updated last week
• arrow-kt / arrow-analysis
  Arrow Analysis Plugin
  ☆29Updated this week
• rchowell / Dotlin
  Kotlin Graphviz DOT DSL
  ☆30Updated 2 years ago
• JetBrains / kotlin-compiler-devkit
  ☆44Updated last week
• krzema12 / kotlin-python
  Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/python
  ☆48Updated last year
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated 2 years ago
• alllex / parsus
  Parser-combinators with Multiplatform Kotlin Coroutines
  ☆162Updated 10 months ago
• kyay10 / KonTinuity
  Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines
  ☆15Updated this week
• JetBrains / intellij-structural-search-for-kotlin
  Structural Search support for Kotlin
  ☆18Updated 4 years ago
• tuProlog / 2p-kt
  A Kotlin Multi-Platform ecosystem for symbolic AI
  ☆107Updated last week
• utybo / Tegral
  [NO LONGER MAINTAINED] 🟣 A Kotlin framework for web applications, cool libraries that go along with it!
  ☆42Updated 3 months ago
• JetBrains-Research / kotlinx.fuzz
  Fuzzer for Kotlin libraries
  ☆111Updated 2 months ago
• jasonwyatt / KWasm
  Embeddable WebAssembly Interpreter for the JVM, written in Kotlin
  ☆40Updated 4 years ago
• nbirillo / simple-kotlin-compiler-plugin
  A simple example of kotlim compiler plugin with FIR and IR.
  ☆13Updated 2 years ago
• 47degrees / kotest-trace
  Black-box testing of stateful systems using properties
  ☆16Updated 2 years ago
• beryx-gist / badass-jlink-example-kotlin-javafx
  Using the Badass JLink Plugin with Kotlin and JavaFX
  ☆12Updated 5 years ago
• oxisto / kotlintree
  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
• arrow-kt / arrow-gradle-config
  Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc
  ☆16Updated last week
• arrow-kt / suspendapp
  Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!
  ☆77Updated 6 months ago
• F43nd1r / autodsl
  Auto-generate DSLs for Kotlin using annotations
  ☆47Updated this week
• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆88Updated 2 weeks ago
• Kotlin / grammar-tools
  Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar
  ☆115Updated last year