Petter A. Urkedal paurkedal
paurkedal
/ bench_httpaf_pr53.ml
Last active
July 1, 2018 20:21
Code used to benchmark httpaf GPR-53 and GPR-54.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open Lwt.Infix | |
| open Unprime_list | |
| open Printf | |
| let rates = [ | |
| 1000.0; | |
| 2000.0; | |
| 5000.0; | |
| 10_000.0; | |
| 20_000.0; |
paurkedal
/ Dockerfile building Ganeti 2.16 for Ubuntu 16.04
Created
February 14, 2019 16:06
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Based on | |
| # https://launchpad.net/ubuntu/+source/ganeti/2.16.0-1ubuntu1 | |
| FROM ubuntu:16.04 | |
| ENV DEBIAN_FRONTEND=noninteractive | |
| RUN apt-get update -y \ | |
| && apt-get install -y debhelper build-essential fakeroot devscripts | |
| RUN apt-get install -y m4 pandoc python-all python3-all ghc ghc-ghci cabal-install libghc-case-insensitive-dev libghc-curl-dev libghc-json-dev libghc-snap-server-dev libghc-network-dev libghc-parallel-dev libghc-utf8-string-dev libghc-deepseq-dev libghc-hslogger-dev libghc-crypto-dev libghc-text-dev libghc-hinotify-dev libghc-base64-bytestring-dev libghc-zlib-dev libghc-regex-pcre-dev libghc-attoparsec-dev libghc-vector-dev libghc-lifted-base-dev libghc-lens-dev libghc-psqueue-dev libghc-test-framework-quickcheck2-dev libghc-test-framework-hunit-dev libghc-temporary-dev libghc-old-time-dev libpcre3-dev libcurl4-openssl-dev python-simplejson python-pyparsing python-openssl python-bitarray python-pyinotify python-pycurl python-paramiko python-ipaddr python-sphinx graphviz qemu-utils socat bash |
paurkedal
/ pgx_mirage.ml
Last active
April 27, 2020 19:42
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* Draft for cherry-picking into pgx. | |
| * | |
| * Copyright (C) 2020 Petter A. Urkedal | |
| * | |
| * This library is free software; you can redistribute it and/or | |
| * modify it under the terms of the GNU Library General Public | |
| * License as published by the Free Software Foundation; either | |
| * version 2 of the License, or (at your option) any later version, | |
| * with the OCaml static compilation exception. | |
| * |
OlderNewer