talex5/mirage-clock-test talex5/mirage-clock-test

  • Stars
    star
    1
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
talex5/mirage-clock-test
github

talex5

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An implementation of Mirage's CLOCK and TIME types for unit-tests

More Repositories

1

cuekeeper

Browser-based GTD (TODO list) system. No server needed.
OCaml
278
star
2

wayland-proxy-virtwl

Allow guest VMs to open windows on the host
OCaml
73
star
3

ocaml-wayland

Pure OCaml Wayland protocol implementation
OCaml
60
star
4

irmin-indexeddb

An Irmin backend for a web browser's IndexedDB store
OCaml
36
star
5

irmin-js

Javascript bindings for Irmin
OCaml
31
star
6

js-skeleton

sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`
OCaml
25
star
7

get-activity

collect activity and format as markdown for a journal
OCaml
18
star
8

mirage-trace-viewer

GTK and HTML viewers for mirage-profile trace files
OCaml
18
star
9

spec-vchan

A TLA+ specification for the Xen vchan protocol
TLA
15
star
10

tla

A Dockerfile for building the TLA+ tools
Dockerfile
11
star
11

async_eio

Run Async code from within Eio
OCaml
11
star
12

qubes-test-mirage

Scripts I use to test Mirage unikernels on QubesOS
OCaml
10
star
13

async-eio-lwt-chimera

Proof-of-concept for Async/Eio/Lwt in one process
Makefile
5
star
14

irmin-www

Irmin-based web server
OCaml
3
star
15

opam-bulk-build-ui

Prototype of possible new UI
OCaml
3
star
16

lang-tests

A test repository for testing various languages
OCaml
2
star
17

zarith

zarith with fixes for Mirage
C
2
star
18

mirage-trace-dump-xen

Dump the CTF trace of a running mirage-xen unikernel
OCaml
2
star
19

xen-paratest

Test-case for Xen/ARM
Assembly
1
star
20

irmin-filer

Irmin demo - offline browser file manager with sync
OCaml
1
star