tuProlog / 2p-ktLinks
A Kotlin Multi-Platform ecosystem for symbolic AI
β104Updated 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β136Updated this week
- Support for Kotlin as a target for ANTLR 4β254Updated last month
- Parser library for Kotlinβ48Updated 2 years ago
- Londogard Natural Language Processing Toolkit written in Kotlinβ76Updated 2 years ago
- Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)β47Updated last week
- Efficient f64-only ndarray in Kotlinβ128Updated last week
- Parser-combinators with Multiplatform Kotlin Coroutinesβ158Updated 7 months ago
- A {K}otlin g{ra}mmar for data {vis}ualizationβ186Updated 7 months ago
- πΏ SAT solver wrappers for Kotlinβ10Updated last year
- A nice parser combinator library for Kotlinβ425Updated last year
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlinβ40Updated 4 years ago
- A monadic (I think...) recursive-descent parser written in Kotlinβ23Updated 4 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 2 years ago
- Kotlin Language Support β AST Libraryβ112Updated this week
- π¨βπ A type-safe URI builder in Kotlinβ20Updated 3 years ago
- Language Integrated Query for Kotlinβ95Updated last week
- Provides fully-fledged multishot delimitied continuations in Kotlin with Coroutinesβ12Updated last month
- Better initial-style DSLs in Kotlinβ37Updated last week
- A simple parser combinator library for Kotlinβ29Updated 4 years ago
- Tokenization and parsing Kotlin code using the ANTLR Kotlin grammarβ112Updated last year
- π§© Shape-Safe Symbolic Differentiation with Algebraic Data Typesβ537Updated 7 months ago
- Discrete Event Simulatorβ74Updated last month
- Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/pythonβ48Updated last year
- Reason about resource-safety in the same way you reason about Structured Concurrency with SuspendApp!β78Updated 2 months ago
- Grammar of Graphics for Kotlinβ468Updated 3 months ago
- Kotlin Graphviz DOT DSLβ28Updated 2 years ago
- An interactive Kotlin wrapper for plotly visualization toolsβ155Updated 6 months ago
- Type checking and logical inference for JetBrains MPSβ33Updated 3 months ago
- Parser Combinator library for Kotlinβ27Updated 6 years ago
- Simple parser combinator library for Kotlinβ25Updated 2 years ago