tuProlog / 2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
β98Updated 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β127Updated this week
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated this week
- Support for Kotlin as a target for ANTLR 4β235Updated last month
- Parser library for Kotlinβ48Updated 2 years ago
- Kotlin Language Support β AST Libraryβ112Updated last week
- Datalog that's as easy as ABC.β58Updated 3 months ago
- Simple parser combinator library for Kotlinβ25Updated 2 years ago
- A nice parser combinator library for Kotlinβ424Updated last year
- Londogard Natural Language Processing Toolkit written in Kotlinβ71Updated last year
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ39Updated 3 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntaxβ¦β127Updated 2 years ago
- A Java parser combinator library written with an unmatched feature set.β125Updated 3 years ago
- Kotlin Graphviz DOT DSLβ28Updated last year
- Parser-combinators with Multiplatform Kotlin Coroutinesβ149Updated 2 months ago
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloudβ69Updated 10 months ago
- Type checking and logical inference for JetBrains MPSβ32Updated 2 months ago
- Efficient f64-only ndarray in Kotlinβ127Updated 7 months ago
- Prolog programming for the Java platform.β37Updated last year
- A Gradle plugin that forces semantic versioning and relies on git to detect the project stateβ15Updated this week
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.β132Updated 3 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.β25Updated 7 years ago
- Port of SwiftyKanren to Kotlinβ17Updated 4 years ago
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 2 years ago
- Kotest extensions for Arrowβ40Updated 2 weeks ago
- A Squeak/Smalltalk VM and Polyglot Programming Environment for the GraalVM.β287Updated this week
- MPS-extensions aims to ease language development within MPS.β83Updated this week
- JPL: The Prolog <-> Java interfaceβ54Updated 2 weeks ago
- A {K}otlin g{ra}mmar for data {vis}ualizationβ184Updated 2 months ago
- A monadic (I think...) recursive-descent parser written in Kotlinβ22Updated last week
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVMβ98Updated 4 years ago