JarCasting
JarCasting JarCasting

Project Group: io.github.pirocks

A Simple Logic Library

 io.github.pirocks : simple-logic-lib

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

Last Version: 0.0.7

Release Date:

A Simple Logic Library

 io.github.pirocks : nd-thing

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

Last Version: 0.0.7

Release Date:

A Simple Algebra Library

 io.github.pirocks : simple-algebra-lib

A simple library for working with algebraic expressions

Last Version: 0.0.8

Release Date:

A Simple Named Pipes Java IPC Library

 io.github.pirocks : named-pipes-ipc-lib

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

Last Version: 0.0.2

Release Date:

A Simple Named Pipes Library

 io.github.pirocks : simple-named-pipes-lib

A simple library for working with named pipes

Last Version: 0.0.5

Release Date:

CGlove from java

 io.github.pirocks : cglove-from-java

Calls the reference implementation of glove from java

Last Version: 0.1.2

Release Date:

  • 1