tuProlog / 2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
β103Updated this week
Alternatives and similar repositories for 2p-kt
Users that are interested in 2p-kt are comparing it to the libraries listed below
Sorting:
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ133Updated this week
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated this week
- Parser library for Kotlinβ48Updated 2 years ago
- Support for Kotlin as a target for ANTLR 4β245Updated this week
- Londogard Natural Language Processing Toolkit written in Kotlinβ75Updated 2 years ago
- Parser-combinators with Multiplatform Kotlin Coroutinesβ156Updated 5 months ago
- Kotlin Graphviz DOT DSLβ28Updated 2 years ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ39Updated 4 years ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ11Updated this week
- Experimental support for Kotlin language in Pulumiβ66Updated last week
- A Gradle plugin that forces semantic versioning and relies on git to detect the project stateβ16Updated this week
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- Efficient f64-only ndarray in Kotlinβ126Updated 10 months ago
- Kotlin Language Support β AST Libraryβ113Updated last week
- Type checking and logical inference for JetBrains MPSβ32Updated last month
- A nice parser combinator library for Kotlinβ425Updated last year
- Prolog programming for the Java platform.β38Updated last year
- A monadic (I think...) recursive-descent parser written in Kotlinβ23Updated 2 months ago
- 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
- Datalog that's as easy as ABC.β59Updated this week
- Gradle/KSP plugin to compile Kotlin/Native to Python C APIβ33Updated 11 months ago
- Deconstructive Pattern-Matching for Kotlinβ45Updated last month
- Intuitive, type-safe units of measureβ173Updated 10 months ago
- π£ A Kotlin framework for web applications, cool libraries that go along with it!β40Updated 2 weeks ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ111Updated last year
- Kotest extensions for Arrowβ40Updated 3 months ago
- Better initial-style DSLs in Kotlinβ35Updated this week
- Ξrrow Core is part of Ξrrow, a functional companion to Kotlin's Standard Libraryβ80Updated 4 years ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- Arrow Analysis Pluginβ28Updated this week