All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download io.github.pirocks JAR files with all dependencies

Search JAR files by class name

simple-logic-lib from group io.github.pirocks (version 0.0.7)

A simple library for working with first order logic and natural deduction proofs

Group: io.github.pirocks Artifact: simple-logic-lib
Show documentation Show source 
 

0 downloads
Artifact simple-logic-lib
Group io.github.pirocks
Version 0.0.7
Last update 08. April 2019
Organization not specified
URL https://github.com/pirocks/simple-logic-lib
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!

nd-thing from group io.github.pirocks (version 0.0.7)

A simple library for working with first order logic and natural deduction proofs

Group: io.github.pirocks Artifact: nd-thing
Show documentation Show source 
 

0 downloads
Artifact nd-thing
Group io.github.pirocks
Version 0.0.7
Last update 07. April 2019
Organization not specified
URL https://github.com/pirocks/simple-logic-lib
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!

simple-algebra-lib from group io.github.pirocks (version 0.0.8)

A simple library for working with algebraic expressions

Group: io.github.pirocks Artifact: simple-algebra-lib
Show all versions Show documentation Show source 
 

0 downloads
Artifact simple-algebra-lib
Group io.github.pirocks
Version 0.0.8
Last update 17. February 2019
Organization not specified
URL https://github.com/pirocks/simple-algebra-lib
License Apache 2.0
Dependencies amount 2
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit,
There are maybe transitive dependencies!

named-pipes-ipc-lib from group io.github.pirocks (version 0.0.2)

A simple library for communicating between java processes using named pipes.

Group: io.github.pirocks Artifact: named-pipes-ipc-lib
Show all versions Show documentation Show source 
 

0 downloads
Artifact named-pipes-ipc-lib
Group io.github.pirocks
Version 0.0.2
Last update 31. December 2018
Organization not specified
URL https://github.com/pirocks/simple-named-pipes-ipc
License Apache 2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit, simple-named-pipes-lib,
There are maybe transitive dependencies!

simple-named-pipes-lib from group io.github.pirocks (version 0.0.5)

A simple library for working with named pipes

Group: io.github.pirocks Artifact: simple-named-pipes-lib
Show all versions Show documentation Show source 
 

0 downloads
Artifact simple-named-pipes-lib
Group io.github.pirocks
Version 0.0.5
Last update 30. December 2018
Organization not specified
URL https://github.com/pirocks/named-pipes-thing
License Apache 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit,
There are maybe transitive dependencies!

cglove-from-java from group io.github.pirocks (version 0.1.2)

Calls the reference implementation of glove from java

Group: io.github.pirocks Artifact: cglove-from-java
Show all versions Show documentation Show source 
 

0 downloads
Artifact cglove-from-java
Group io.github.pirocks
Version 0.1.2
Last update 23. December 2018
Organization not specified
URL https://github.com/pirocks/glove-from-java
License Apache 2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-test-junit, junit, deeplearning4j-nlp,
There are maybe transitive dependencies!



Page 1 from 1 (items total 6)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy