tuProlog / 2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
β103Updated 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β130Updated this week
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated last month
- Support for Kotlin as a target for ANTLR 4β244Updated 2 weeks ago
- Discrete Event Simulatorβ73Updated last month
- Parser library for Kotlinβ48Updated 2 years ago
- A nice parser combinator library for Kotlinβ425Updated last year
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ11Updated this week
- Kotlin Language Support β AST Libraryβ113Updated last week
- Londogard Natural Language Processing Toolkit written in Kotlinβ73Updated 2 years ago
- Sigbla is a framework for working with data in tables, using the Kotlin programming language. It supports various data types, reactive prβ¦β25Updated 4 months ago
- Efficient f64-only ndarray in Kotlinβ126Updated 9 months ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- A simple parser combinator library for Kotlinβ29Updated 4 years ago
- Some examples for Ξrrow Meta the functional companion to Kotlin's Compiler & IDE.β58Updated 2 years ago
- Type checking and logical inference for JetBrains MPSβ32Updated 2 weeks ago
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!β79Updated this week
- Ξrrow Core is part of Ξrrow, a functional companion to Kotlin's Standard Libraryβ80Updated 4 years ago
- Typed String Interpolation for Kotlinβ46Updated 3 weeks ago
- Arrow Endpoint offers a composable Endpoint datatype, that allows us easily define an Endpoint from which we can derive clients, servers β¦β24Updated last week
- Experimental support for Kotlin language in Pulumiβ65Updated this week
- Kotlin Graphviz DOT DSLβ28Updated 2 years ago
- Kotest extensions for Arrowβ40Updated 2 months ago
- Better initial-style DSLs in Kotlinβ33Updated last week
- Datalog that's as easy as ABC.β59Updated 5 months ago
- Next gen dependency injection library for Kotlin [WIP]β109Updated 3 weeks ago
- Arrow Analysis Pluginβ28Updated this week
- Gradle/KSP plugin to compile Kotlin/Native to Python C APIβ32Updated 10 months ago
- Parser-combinators with Multiplatform Kotlin Coroutinesβ155Updated 4 months ago
- A Gradle plugin that forces semantic versioning and relies on git to detect the project stateβ16Updated last week
- Brainlessly simple and safe SQL Database Access for Kotlinβ39Updated this week