8 search results for "author:"David Kaloper Meršinjak""
Showing 1 - 8
-
Embed typed ASN.1 grammars in OCamlDavid Meršinjak0.3.2ISCUsed by 5 other packages05 Sep 2024
-
Detect CPU featuresDavid Meršinjak <dk505@cam.ac.uk>0.1.2ISCUsed by 2 other packages03 Apr 2019
-
Scalable LRU cachesDavid Meršinjak <dk505@cam.ac.uk>0.3.1ISCUsed by 8 other packages26 Oct 2022
-
Portable shim for MirageOS OS APIDavid Meršinjak <david@numm.org>3.1.0ISCUsed by 1 other packages12 Nov 2018
-
0.1.1-1ISCUsed by 14 other packages13 Oct 2018
-
Performance Application Programming Interface (PAPI) bindingsDavid Meršinjak <dk505@cam.ac.uk>0.1.1ISCUsed by 0 other packages10 Apr 2019
-
Functional Priority Search QueuesDavid Meršinjak <dk505@cam.ac.uk>0.2.1ISCUsed by 14 other packages26 Oct 2022
-
π-calculus? In _my_ kernel?David Meršinjak <david@numm.org>0.0.2ISCUsed by 0 other packages06 Nov 2016