tuProlog / 2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
β97Updated last week
Alternatives and similar repositories for 2p-kt:
Users that are interested in 2p-kt are comparing it to the libraries listed below
- πΈοΈ Graphs, finite fields and discrete dynamical systems in Kotlinβ124Updated this week
- Efficient f64-only ndarray in Kotlinβ126Updated 6 months ago
- Parser library for Kotlinβ48Updated 2 years ago
- A simple parser combinator library for Kotlinβ29Updated 4 years ago
- Datalog that's as easy as ABC.β56Updated 2 months ago
- Kotlin Language Support β AST Libraryβ112Updated this week
- Londogard Natural Language Processing Toolkit written in Kotlinβ71Updated last year
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated this week
- MPS-extensions aims to ease language development within MPS.β83Updated this week
- Kotlin Graphviz DOT DSLβ27Updated last year
- Support for Kotlin as a target for ANTLR 4β233Updated this week
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ39Updated 3 years ago
- Some examples for Ξrrow Meta the functional companion to Kotlin's Compiler & IDE.β58Updated 2 years ago
- A monadic (I think...) recursive-descent parser written in Kotlinβ20Updated last month
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ11Updated last month
- A Gradle plugin that forces semantic versioning and relies on git to detect the project stateβ15Updated last week
- Monads composition API that just works. For OOP developersβ63Updated 2 years ago
- Kotlin/Java API for various SMT solversβ30Updated this week
- Ξrrow Core is part of Ξrrow, a functional companion to Kotlin's Standard Libraryβ81Updated 3 years ago
- A Java parser combinator library written with an unmatched feature set.β125Updated 3 years ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ108Updated last year
- π£ A Kotlin framework for web applications, cool libraries that go along with it!β37Updated 2 months ago
- A nice parser combinator library for Kotlinβ424Updated last year
- A {K}otlin g{ra}mmar for data {vis}ualizationβ183Updated last month
- JPL: The Prolog <-> Java interfaceβ54Updated last week
- Brainlessly simple and safe SQL Database Access for Kotlinβ38Updated last month
- Type checking and logical inference for JetBrains MPSβ31Updated last month
- Port of SwiftyKanren to Kotlinβ17Updated 3 years ago
- This little project provides Kotlin bindings for the popular tree-sitter library. Currently it only supports the Kotlin JVM target, but Kβ¦β52Updated last year