A Kotlin Multi-Platform ecosystem for symbolic AI
☆113Feb 24, 2026Updated 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:
- Port of SwiftyKanren to Kotlin☆18Feb 8, 2021Updated 5 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- Prolog programming for the Java platform.☆39Feb 23, 2026Updated last week
- JaKtA is a Kotlin internal DSL for the definition of BDI agents.☆11Updated this week
- Java-hosted execution of Protelis programs☆21Updated this week
- Londogard Natural Language Processing Toolkit written in Kotlin☆74Apr 13, 2023Updated 2 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆146Feb 24, 2026Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- 👨🚀 A type-safe URI builder in Kotlin☆21Jul 16, 2022Updated 3 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- Advanced fold methods for Kotlin☆12Updated this week
- An ECS Scala framework☆30Nov 1, 2021Updated 4 years ago
- Aggregate Computing in Kotlin Multiplatform☆23Updated this week
- Logtalk - declarative object-oriented logic programming language☆475Updated this week
- JPL: The Prolog <-> Java interface☆59Feb 22, 2026Updated last week
- An idiomatic kotlin dataframe toolkit for data engineering tasks of any size dataset☆10Jul 16, 2025Updated 7 months ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated last year
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Micronaut Object Storage provides a uniform API to create, read and delete objects in the major cloud providers.☆11Feb 23, 2026Updated last week
- Demo how to use Chart.js. with Compose Web☆11Jun 3, 2024Updated last year
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Internationalization for Kotlin☆109Feb 21, 2026Updated last week
- 🕸️ A visualizer for graphs defined as logic programs☆31Oct 12, 2024Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆236Aug 22, 2025Updated 6 months ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Dec 9, 2025Updated 2 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆17Jun 16, 2023Updated 2 years ago
- Alchemist: an extensible simulator for pervasive computing☆49Updated this week
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 years ago
- Simple projects that demonstrate kweb's capabilities 🦆☆13Aug 2, 2021Updated 4 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Sep 11, 2024Updated last year
- A Java implementation of the Shen programming language☆28May 13, 2019Updated 6 years ago