2 packages found. Page 1 of 1.

Category Name Version Votes Description Maintainer
science cubicle 0.5-1 0 An open source model checker for verifying safety properties of array-based systems Elarnon
science functory 0.5-6 0 A distributed computing library for Objective Caml which facilitates distributed execution of parallelizable computations in a seamless fashion. Elarnon

2 packages found. Page 1 of 1.