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
  ☆31Updated 2 months ago
• JetBrains-Research / litmuskt
  Litmus testing tool for Kotlin/Native (WIP)
  ☆10Updated 2 months ago
• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆136Updated this week
• 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
  ☆32Updated 9 months ago
• JetBrains-Research / paddle
  Young and dynamic build system for Python
  ☆21Updated 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
• JetBrains-Research / kinference
  Running ONNX models in vanilla Kotlin
  ☆181Updated this week
• valderman / konbini
  Parser library for Kotlin
  ☆48Updated 2 years ago
• tuProlog / 2p-kt
  A Kotlin Multi-Platform ecosystem for symbolic AI
  ☆104Updated this week
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆27Updated 2 years ago
• Strumenta / antlr-kotlin
  Support for Kotlin as a target for ANTLR 4
  ☆254Updated last month
• SciProgCentre / visionforge
  Multiplatform dynamic visualization framework including Plotly-kt
  ☆40Updated last month
• holgerbrandl / kalasim
  Discrete Event Simulator
  ☆74Updated last month
• JetBrains-Research / viktor
  Efficient f64-only ndarray in Kotlin
  ☆128Updated last week
• beryx-gist / badass-jlink-example-kotlin-javafx
  Using the Badass JLink Plugin with Kotlin and JavaFX
  ☆12Updated 4 years ago
• ilya-g / kotlin-jlink-examples
  Examples how to use jlink with kotlin in gradle and maven
  ☆35Updated 2 years ago
• ethanmdavidson / KotlinJSWebWorkerDemo
  A simple demo that shows how WebWorkers can be used in Kotlin/JS
  ☆10Updated 4 years ago
• alllex / parsus
  Parser-combinators with Multiplatform Kotlin Coroutines
  ☆158Updated 7 months ago
• jasonwyatt / KWasm
  Embeddable WebAssembly Interpreter for the JVM, written in Kotlin
  ☆40Updated 4 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 2 months ago
• JetBrains-Research / reflekt
  A plugin for Kotlin compiler for compile-time reflection
  ☆377Updated last year
• rchowell / Dotlin
  Kotlin Graphviz DOT DSL
  ☆28Updated 2 years ago
• Kotlin / grammar-tools
  Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar
  ☆112Updated last year
• arrow-kt / arrow-analysis
  Arrow Analysis Plugin
  ☆28Updated last week
• JetBrains / xodus-dnq
  Data definition and queries Kotlin DSL over Xodus
  ☆86Updated 2 weeks ago
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆112Updated this week