3 ms·
If anyone would like to do things with Cmdliner, then there are few libs that would be great to have as stand-alone executables (it's part of the MirageOS Pione
by amirmc 12y ago
If anyone would like to do things with Cmdliner, then there are few libs that would be great to have as stand-alone executables (it's part of the MirageOS Pioneer Projects) [1].
https://github.com/mirage/mirage-www/wiki/Pioneer-Projects#command-line-utilities https://github.com/mirage/mirage-www/wiki/Pioneer-Projects#c...
- zem 12y agonice list! was this always on the mirageos site? i remember spending some time poking around specifically looking for something like this, and coming up blank. (suggestion: link to it from the "contributing to mirage" page as well)