Search results

2p-oop-lib

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

2p-serialize-core

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

2p-repl

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

2p-dsl-solve

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

2p-test-solve

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

2p-serialize-theory

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

2p-solve-streams

Some quick links: * [GitLab Repository](https://gitlab.com/pika-lab/tuprolog/2p-in-kotlin) (the one used by developers) * [GitHub Repository](https://github.com/tuProlog/2p-kt) (where JVM releases are hosted) * [NPM Repository](https://www.npmjs.com/org/t

gciatto-unibo

published 0.14.11-dev1w • 3 years agopublished 0.14.11-dev1w 3 years ago

karhoo-dce-test

A sample Kotlin multiplatform project

sean.keane

published 1.0.181 • 4 years agopublished 1.0.181 4 years ago