https://github.com/rdicosmo/parmap
History
Tip revision: 82df563aecf86b9164eee7d10d40f2d8cbd1c78d authored by Olaf Hering on 25 October 2019, 08:10:30 UTC
convert buildsystem to dune
Tip revision: 82df563
File Mode Size
config
example
tests
.gitignore -rw-r--r-- 50 bytes
AUTHORS -rw-r--r-- 722 bytes
Changelog -rw-r--r-- 979 bytes
INSTALL -rw-r--r-- 64 bytes
LICENSE -rw-r--r-- 25.8 KB
Makefile -rw-r--r-- 378 bytes
README -rw-r--r-- 6.3 KB
README.md -rw-r--r-- 6.2 KB
bytearray.ml -rw-r--r-- 3.9 KB
bytearray.mli -rw-r--r-- 1.6 KB
bytearray_stubs.c -rw-r--r-- 2.1 KB
dune -rw-r--r-- 293 bytes
dune-project -rw-r--r-- 996 bytes
parmap.ml -rw-r--r-- 24.2 KB
parmap.mli -rw-r--r-- 11.3 KB
parmap.odocl -rw-r--r-- 7 bytes
parmap_utils.ml -rw-r--r-- 1.3 KB
parmap_utils.mli -rw-r--r-- 270 bytes
setcore.ml -rw-r--r-- 206 bytes
setcore_stubs.c -rw-r--r-- 1.6 KB

README.md

back to top