Java Libraries

mobile

com.citcon.sdk : mobile

Citcon mobile official Android SDK

Last Version: 2.5.4-gamma

Release Date:

geokey

io.github.markrileybot : geokey

# geokey K Dimensional Z-Order curve utils. [![Build Status](https://travis-ci.org/markrileybot/geokey.svg?branch=master)](https://travis-ci.org/markrileybot/geokey) [![Coverage Status](https://coveralls.io/repos/github/markrileybot/geokey/badge.svg?branch=master)](https://coveralls.io/github/markrileybot/geokey?branch=master) [![Maven Central](https://maven-badges.herokuapp.com/maven-central/io.github.markrileybot/geokey/badge.svg)](https://maven-badges.herokuapp.com/maven-central/io.github.markrileybot/geokey) ## Building ./gradlew build ## Gradle dependency See https://search.maven.org/artifact/io.github.markrileybot/geokey/ ## Using ### Use built in keys to make geohashes ```java import org.geokey.GeoKey; // Make a geo hash key String key = new GeoKey().setLatitude(48.669).setLongitude(-4.329).toString(); // "gbsuv7ztqzpts82uzfwq5e1bp" // parse a geo hash key GeoKey gk = new GeoKey("gbsuv7ztqzpts82uzfwq5e1bp"); ``` ### Make a special purpose K-Dimensional key ```java public class GeoTimeKey extends KDKey { private static final KDKeySpec spec = new KDKeySpec.Builder() .addDim(-180, 180, 1) .addDim(-90, 90, 1) .addDim(0, 1L << 62, 1) .setAlphabet(Alphabet.GEO_TIME_HASH) .build(); public GeoTimeKey() { super(spec); } public GeoTimeKey(String s) { super(spec, s); } public GeoTimeKey(byte[] s) { super(spec, s); } public GeoTimeKey setLatitude(double latitude) { set(1, latitude); return this; } public double getLatitude() { return super.get(1); } public GeoTimeKey setLongitude(double longitude) { set(0, longitude); return this; } public double getLongitude() { return super.get(0); } public GeoTimeKey setTime(long time) { set(2, time); return this; } public long getTime() { return (long) get(2); } } ```

Last Version: 0.1.0

Release Date:

Utilities shared among 2P-Kt Modules

it.unibo.tuprolog : utils

Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Utilities shared among 2P-Kt Modules

it.unibo.tuprolog : utils-jvm

Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.

Last Version: 0.20.9-dev03+3250bb16

Release Date:

Utilities shared among 2P-Kt Modules

it.unibo.tuprolog : utils-js

Provides various facilities required by the 2P-Kt project, including but not limited to caching, casting, lazy data structures, deques, tags, etc.

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Unify Module

it.unibo.tuprolog : unify

Logic unification for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Unify Module

it.unibo.tuprolog : unify-jvm

Logic unification for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Unify Module

it.unibo.tuprolog : unify-js

Logic unification for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Theory Module

it.unibo.tuprolog : theory

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Theory Module

it.unibo.tuprolog : theory-jvm

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Theory Module

it.unibo.tuprolog : theory-js

In-memory storage and indexing facilities for ordered and unordered knowledge bases composed by logic clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Streams Module

it.unibo.tuprolog : solve-streams

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Streams Module

it.unibo.tuprolog : solve-streams-jvm

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Streams Module

it.unibo.tuprolog : solve-streams-js

Experimental, functional-programming-based implementation of Prolog's SLDNF resolution principle

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Problog Module

it.unibo.tuprolog : solve-problog

State-machine-based implementation of ProbLog

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Problog Module

it.unibo.tuprolog : solve-problog-jvm

State-machine-based implementation of ProbLog

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Problog Module

it.unibo.tuprolog : solve-problog-js

State-machine-based implementation of ProbLog

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-PLP Module

it.unibo.tuprolog : solve-plp

Resolution-agnostic API for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-PLP Module

it.unibo.tuprolog : solve-plp-jvm

Resolution-agnostic API for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-PLP Module

it.unibo.tuprolog : solve-plp-js

Resolution-agnostic API for probabilistic logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solver-Concurrent Module

it.unibo.tuprolog : solve-concurrent

Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solver-Concurrent Module

it.unibo.tuprolog : solve-concurrent-jvm

Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solver-Concurrent Module

it.unibo.tuprolog : solve-concurrent-js

Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Classic Module

it.unibo.tuprolog : solve-classic

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Classic Module

it.unibo.tuprolog : solve-classic-jvm

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve-Classic Module

it.unibo.tuprolog : solve-classic-js

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve Module

it.unibo.tuprolog : solve

Resolution-agnostic API for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve Module

it.unibo.tuprolog : solve-jvm

Resolution-agnostic API for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Solve Module

it.unibo.tuprolog : solve-js

Resolution-agnostic API for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Theory Module

it.unibo.tuprolog : serialize-theory

JSON and YAML serialization support for logic theories

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Theory Module

it.unibo.tuprolog : serialize-theory-jvm

JSON and YAML serialization support for logic theories

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Theory Module

it.unibo.tuprolog : serialize-theory-js

JSON and YAML serialization support for logic theories

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Core Module

it.unibo.tuprolog : serialize-core

JSON and YAML serialization support for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Core Module

it.unibo.tuprolog : serialize-core-jvm

JSON and YAML serialization support for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Serialization-Core Module

it.unibo.tuprolog : serialize-core-js

JSON and YAML serialization support for logic terms and clauses

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, REPL Module

it.unibo.tuprolog : repl

Customisable, command-line interface for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, REPL Module

it.unibo.tuprolog : repl-jvm

Customisable, command-line interface for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, REPL Module

it.unibo.tuprolog : repl-js

Customisable, command-line interface for logic solvers

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Theory Module

it.unibo.tuprolog : parser-theory

Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Theory Module

it.unibo.tuprolog : parser-theory-jvm

Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Theory Module

it.unibo.tuprolog : parser-theory-js

Parsing facilities for knoledge bases made up of logic clauses, out of Prolog standard syntax

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-JVM Module

it.unibo.tuprolog : parser-jvm

Internal, JVM-specific implementation of a Prolog syntax parser supporting dynamic operators definition

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-JS Module

it.unibo.tuprolog : parser-js

Internal, JS-specific implementation of a Prolog syntax parser supporting dynamic operators definition

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Core Module

it.unibo.tuprolog : parser-core

Parsing facilities for logic terms and clauses out of Prolog standard syntax

Last Version: 0.20.9-dev03+3250bb16

Release Date:

cql-formatter

info.cqframework : cql-formatter

The cql-formatter library for the Clinical Quality Language Java reference implementation

Last Version: 1.5.9

Release Date:

2P-Kt, Parser-Core Module

it.unibo.tuprolog : parser-core-jvm

Parsing facilities for logic terms and clauses out of Prolog standard syntax

Last Version: 0.20.9-dev03+3250bb16

Release Date:

2P-Kt, Parser-Core Module

it.unibo.tuprolog : parser-core-js

Parsing facilities for logic terms and clauses out of Prolog standard syntax

Last Version: 0.20.9-dev03+3250bb16

Release Date:

quick

info.cqframework : quick

The quick library for the Clinical Quality Language Java reference implementation

Last Version: 1.5.9

Release Date:

2P-Kt, OOP Library

it.unibo.tuprolog : oop-lib

Extension library for logic solvers, enabling OOP support in logic programs

Last Version: 0.20.9-dev03+3250bb16

Release Date:

qdm

info.cqframework : qdm

The qdm library for the Clinical Quality Language Java reference implementation

Last Version: 1.5.9

Release Date: