Alternatives and similar repositories for kotlin-satlib

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

• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆9Updated last month
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated 3 weeks ago
• breandan / yuri
  👨‍🚀 A type-safe URI builder in Kotlin
  ☆20Updated 2 years ago
• krzema12 / kotlin-python
  Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/python
  ☆48Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆137Updated this week
• arrow-kt / arrow-analysis
  Arrow Analysis Plugin
  ☆28Updated this week
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated last year
• valderman / konbini
  Parser library for Kotlin
  ☆48Updated 2 years ago
• SciProgCentre / visionforge
  Multiplatform dynamic visualization framework including Plotly-kt
  ☆40Updated 2 months ago
• holgerbrandl / kalasim
  Discrete Event Simulator
  ☆74Updated 2 weeks ago
• xemantic / xemantic-ai-tool-schema
  AI/LLM tool use (function calling) JSON Schema generator - a Kotlin multiplatform library
  ☆32Updated this week
• demiurg906 / test-data-helper-plugin
  ☆30Updated last week
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆31Updated 7 months ago
• JetBrains-Research / kotlinx.fuzz
  Fuzzer for Kotlin libraries
  ☆67Updated 2 weeks ago
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• JetBrains / gradle-grammar-kit-plugin
  Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language plugins
  ☆87Updated 3 weeks ago
• dhakehurst / net.akehurst.language
  Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)
  ☆47Updated this week
• Kotlin / kotlin-compiler-plugin-template
  ☆75Updated last week
• 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
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆111Updated last week
• saveourtool / save-cli
  Universal test framework for cli tools [mainly for code analyzers and compilers]
  ☆43Updated this week
• ExoQuery / Terpal
  Typed String Interpolation for Kotlin
  ☆49Updated 2 months ago
• ExoQuery / ExoQuery
  Language Integrated Query for Kotlin
  ☆80Updated this week
• rnett / krosstalk
  A pure Kotlin pluggable RPC library, with expect/actual support
  ☆23Updated last year
• ethanmdavidson / KotlinJSWebWorkerDemo
  A simple demo that shows how WebWorkers can be used in Kotlin/JS
  ☆10Updated 4 years ago
• Kotlin / grammar-tools
  Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar
  ☆111Updated last year
• serras / inikio
  Better initial-style DSLs in Kotlin
  ☆36Updated 2 weeks ago
• alllex / parsus
  Parser-combinators with Multiplatform Kotlin Coroutines
  ☆157Updated 6 months ago