io.github.pirocks | JarCasting

A Simple Logic Library

io.github.pirocks : simple-logic-lib

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

Последняя версия: 0.0.7

Дата: 8 апр. 2019 г.

io.github.pirocks : nd-thing

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

Последняя версия: 0.0.7

Дата: 8 апр. 2019 г.

io.github.pirocks : simple-algebra-lib

A simple library for working with algebraic expressions

Последняя версия: 0.0.8

Дата: 17 февр. 2019 г.

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

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

Последняя версия: 0.0.2

Дата: 31 дек. 2018 г.

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

A simple library for working with named pipes

Последняя версия: 0.0.5

Дата: 31 дек. 2018 г.

io.github.pirocks : cglove-from-java

Calls the reference implementation of glove from java

Последняя версия: 0.1.2

Дата: 23 дек. 2018 г.