Search Results for "java-ml"
Sort By:
A collection of machine-checkend mathematical proofs
Support for manual parallelization of sequential C programs.
*** Moved to http://github.com/esumii/min-caml ***
MOVED TO GITHUB. Code here is STALE.