Группа библиотек: 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

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

Дата:

A Simple Logic Library

io.github.pirocks : nd-thing

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

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

Дата:

A Simple Algebra Library

io.github.pirocks : simple-algebra-lib

A simple library for working with algebraic expressions

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

Дата:

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.

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

Дата:

A Simple Named Pipes Library

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

A simple library for working with named pipes

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

Дата:

CGlove from java

io.github.pirocks : cglove-from-java

Calls the reference implementation of glove from java

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

Дата:

  • 1