tuProlog / 2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
β100Updated this 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β128Updated this week
- Parser library for Kotlinβ48Updated 2 years ago
- Kotlin Language Support β AST Libraryβ112Updated this week
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated this week
- Kotlin Graphviz DOT DSLβ28Updated 2 years ago
- Support for Kotlin as a target for ANTLR 4β242Updated 2 months ago
- Parser-combinators with Multiplatform Kotlin Coroutinesβ150Updated 3 months ago
- A {K}otlin g{ra}mmar for data {vis}ualizationβ184Updated 3 months ago
- C Compiler that generates readable Kotlin and C# - Written in Kotlin + Small web-based Editor with autocompletionβ71Updated 7 months ago
- Experimental support for Kotlin language in Pulumiβ64Updated last week
- Efficient f64-only ndarray in Kotlinβ126Updated 8 months ago
- KVision examplesβ174Updated last month
- Londogard Natural Language Processing Toolkit written in Kotlinβ71Updated last year
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ110Updated last year
- β26Updated last year
- A nice parser combinator library for Kotlinβ426Updated last year
- A Gradle plugin that forces semantic versioning and relies on git to detect the project stateβ15Updated this week
- Discrete Event Simulatorβ73Updated 3 weeks ago
- A simple parser combinator library for Kotlinβ29Updated 4 years ago
- Auto-generate DSLs for Kotlin using annotationsβ45Updated this week
- 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
- Intuitive, type-safe units of measureβ170Updated 9 months ago
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!β78Updated this week
- Data definition and queries Kotlin DSL over Xodusβ86Updated 3 weeks ago
- π£ A Kotlin framework for web applications, cool libraries that go along with it!β39Updated 4 months ago
- A Java parser combinator library written with an unmatched feature set.β124Updated 3 years ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- Kotest extensions for Arrowβ40Updated last month
- An interactive Kotlin wrapper for plotly visualization toolsβ157Updated 3 months ago