Lipen / kotlin-satlibLinks
πΏ SAT solver wrappers for Kotlin
β9Updated 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)β9Updated last month
- Kotlin/Java API for various SMT solversβ31Updated 3 weeks ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- π² A Kotlin DSL for probabilistic programming.β12Updated 3 years ago
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ137Updated this week
- Arrow Analysis Pluginβ28Updated this week
- Young and dynamic build system for Pythonβ21Updated last year
- Parser library for Kotlinβ48Updated 2 years ago
- Multiplatform dynamic visualization framework including Plotly-ktβ40Updated 2 months ago
- Discrete Event Simulatorβ74Updated 2 weeks ago
- AI/LLM tool use (function calling) JSON Schema generator - a Kotlin multiplatform libraryβ32Updated this week
- β30Updated last week
- A platform for analysis of Java bytecodeβ31Updated 7 months ago
- Fuzzer for Kotlin librariesβ67Updated 2 weeks ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.β7Updated 2 years ago
- Gradle plugin for generating lexers (with JFlex) and BNF parsers (with Grammar-Kit) for IntelliJ language pluginsβ87Updated 3 weeks ago
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated this week
- β75Updated last week
- A simple example of kotlim compiler plugin with FIR and IR.β13Updated 2 years ago
- Black-box testing of stateful systems using propertiesβ16Updated 2 years ago
- Kotlin Language Support β AST Libraryβ111Updated last week
- Universal test framework for cli tools [mainly for code analyzers and compilers]β43Updated this week
- Typed String Interpolation for Kotlinβ49Updated 2 months ago
- Language Integrated Query for Kotlinβ80Updated this week
- A pure Kotlin pluggable RPC library, with expect/actual supportβ23Updated last year
- A simple demo that shows how WebWorkers can be used in Kotlin/JSβ10Updated 4 years ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ111Updated last year
- Better initial-style DSLs in Kotlinβ36Updated 2 weeks ago
- Parser-combinators with Multiplatform Kotlin Coroutinesβ157Updated 6 months ago