tuProlog / 2p-ktLinks
A Kotlin Multi-Platform ecosystem for symbolic AI
☆108Updated last 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☆143Updated 3 weeks ago
- Support for Kotlin as a target for ANTLR 4☆266Updated last month
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)☆48Updated this week
- Starlasu - A Language Engineering Framework☆114Updated 2 weeks ago
- A nice parser combinator library for Kotlin☆433Updated 2 years ago
- Prolog programming for the Java platform.☆38Updated 3 months ago
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆40Updated 4 years ago
- Port of SwiftyKanren to Kotlin☆19Updated 4 years ago
- MPS-extensions aims to ease language development within MPS.☆86Updated this week
- 👨🚀 A type-safe URI builder in Kotlin☆20Updated 3 years ago
- Londogard Natural Language Processing Toolkit written in Kotlin☆74Updated 2 years ago
- Parser library for Kotlin☆48Updated 3 years 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
- Type checking and logical inference for JetBrains MPS☆32Updated 2 weeks ago
- [NO LONGER MAINTAINED] 🟣 A Kotlin framework for web applications, cool libraries that go along with it!☆42Updated 4 months ago
- Efficient f64-only ndarray in Kotlin☆133Updated 4 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
- Functional companion to Kotlin's Compiler☆408Updated last week
- A simple parser combinator library for Kotlin☆29Updated 5 years ago
- Kotlin Graphviz DOT DSL☆30Updated 2 years ago
- A {K}otlin g{ra}mmar for data {vis}ualization☆188Updated 11 months ago
- 🗿 SAT solver wrappers for Kotlin☆11Updated last year
- Parser-combinators with Multiplatform Kotlin Coroutines☆165Updated 11 months ago
- Datalog that's as easy as ABC.☆64Updated 3 months ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar☆115Updated last year
- A monadic (I think...) recursive-descent parser written in Kotlin☆28Updated last month
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆139Updated 4 years ago
- Language Integrated Query for Kotlin☆114Updated last week
- C Compiler that generates readable Kotlin and C# - Written in Kotlin + Small web-based Editor with autocompletion☆75Updated last year
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutines☆16Updated 3 weeks ago