Results 54 repositories owned by MirageOS

cactus

17
Stars
5
Forks
Watchers

A Btree library in OCaml

colombe

42
Stars
5
Forks
Watchers

Implementation of SMTP protocols in OCaml

conan

46
Stars
7
Forks
Watchers

Like detective conan, find clue about the type of the file

duff

21
Stars
3
Forks
Watchers

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

encore

25
Stars
8
Forks
Watchers

Synonym of angkor

eqaf

50
Stars
10
Forks
Watchers

Constant time equal function to avoid timing attacks in OCaml

ezjsonm

41
Stars
22
Forks
Watchers

An easy interface on top of the Jsonm library.

functoria

63
Stars
21
Forks
Watchers

A DSL to invoke otherworldly functors

hacl

21
Stars
6
Forks
Watchers

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves