Search
 
   

6 results for "domain:openmirage.org"

  1. 14
    Mirage v2.0: a recap of the new features compsci ml programming virtualization openmirage.org
    BruceM avatar via BruceM 4 years ago | cached | no comments
  2. 15
    Introducing Irmin: Git-like distributed, branchable storage databases distributed ml programming vcs openmirage.org
    tizoc avatar via tizoc 4 years ago | cached | 2 comments
  3. 7
    Using GADTs to demystify ASN.1 parsing in OCaml-TLS programming openmirage.org
    steveklabnik avatar via steveklabnik 4 years ago | cached | no comments
  4. 13
    OCaml-TLS: building the nocrypto library core programming security openmirage.org
    tizoc avatar via tizoc 4 years ago | cached | no comments
  5. 23
    Introducing transport layer security (TLS) in pure OCaml networking programming security openmirage.org
    tizoc avatar via tizoc 4 years ago | cached | 1 comment
  6. 4
    Mirage 1.1.0: the eat-your-own-dogfood release networking release virtualization openmirage.org
    jcs avatar via jcs 4 years ago | cached | no comments