tuProlog / 2p-ktLinks
A Kotlin Multi-Platform ecosystem for symbolic AI
β107Updated 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β142Updated this week
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated 3 weeks ago
- Kotlin Language Support β AST Libraryβ114Updated this week
- Parser library for Kotlinβ48Updated 3 years ago
- A {K}otlin g{ra}mmar for data {vis}ualizationβ188Updated 9 months ago
- Support for Kotlin as a target for ANTLR 4β262Updated this week
- Language Integrated Query for Kotlinβ108Updated last week
- A nice parser combinator library for Kotlinβ430Updated 2 years ago
- Londogard Natural Language Processing Toolkit written in Kotlinβ75Updated 2 years ago
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ15Updated this week
- Parser-combinators with Multiplatform Kotlin Coroutinesβ161Updated 10 months ago
- Better initial-style DSLs in Kotlinβ37Updated this week
- A monadic (I think...) recursive-descent parser written in Kotlinβ26Updated last week
- Efficient f64-only ndarray in Kotlinβ132Updated 2 months ago
- A MATLAB-like scientific scripting environment for Kotlin, a simpler Kotlin only version of KotlinLab. Java 16 or newer is required to ruβ¦β17Updated 3 years ago
- A simple parser combinator library for Kotlinβ29Updated 5 years ago
- [NO LONGER MAINTAINED] π£ A Kotlin framework for web applications, cool libraries that go along with it!β42Updated 2 months ago
- A kotlin library of extension functions that add smalltalk style methods to objects.β13Updated 4 years ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 3 years ago
- Prolog programming for the Java platform.β40Updated 2 months ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ40Updated 4 years ago
- Experimental support for Kotlin language in Pulumiβ71Updated 2 weeks ago
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- MPS-extensions aims to ease language development within MPS.β86Updated this week
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntaxβ¦β131Updated 3 years ago
- Port of SwiftyKanren to Kotlinβ19Updated 4 years ago
- Parser Combinator library for Kotlinβ27Updated 7 years ago
- Type checking and logical inference for JetBrains MPSβ32Updated 2 months ago
- Simple parser combinator library for Kotlinβ25Updated 2 years ago
- Kotest extensions for Arrowβ40Updated 8 months ago