Thomas Leonard talex5

Achievements

Achievements

Organizations

Pinned Loading

1. ocaml-multicore/eio ocaml-multicore/eio Public

   Effects-based direct-style IO for multicore OCaml

   OCaml 721 85

2. cuekeeper cuekeeper Public

   Browser-based GTD (TODO list) system. No server needed.

   OCaml 316 27

3. mirage/qubes-mirage-firewall mirage/qubes-mirage-firewall Public

   A Mirage firewall VM for QubesOS

   OCaml 240 29

4. mirage/mirage mirage/mirage Public

   MirageOS is a library operating system that constructs unikernels

   OCaml 3k 275

5. mirage/capnp-rpc mirage/capnp-rpc Public

   Cap'n Proto RPC implementation

   OCaml 119 23

6. ocurrent/ocurrent ocurrent/ocurrent Public

   Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

   OCaml 159 40