Leonid Rozenberg

Incorporate extbigarray

2

This set of work aims to incorporate all of [Extbigarray](https://github.com/hcarty/extbigarray)'s functionality but using monomorphic (consequently faster) functions via [bigarray_fold_ppx](https://github.com/rleonid/bigarray_fold_ppx).

This would certainly be faster, but TBD if this is ever a bottleneck.

In the original matrix PP algorithm, this case isn't necessarily handled correctly.

No need to export the whole mess.

Now that ThreeDs mostly work need a general way to display 4.

It would be convenient if the library took care of managing the storage of these large files. So that even if I am not in the appropriate directory it can...

Correct order of get_values in Server.block_if_empty_at_most?

1

Should we call `get_values` [before](https://github.com/hammerlab/ketrew/blob/master/src/lib/server.ml#L398) (as done now) or after the time check [at](https://github.com/hammerlab/ketrew/blob/master/src/lib/server.ml#L400). Specifically only if `now` is past the blocked out time. It seems that `get_values` is potentially...

Merge implementation

6

Out of curiosity, is there a reason that the [merge](https://github.com/backtracking/ptmap/blob/master/ptmap.ml#L307) implementation is as 2 folds as as opposed to the recursive one written in the original [Okasaki](http://www.westpoint.edu/eecs/SiteAssets/SitePages/Faculty%20Publication%20Documents/Okasaki/ml98maps.pdf) paper? The running...

In particular the fall through to `float`s in ParPMM might be problematic.