Skip to content
View talex5's full-sized avatar

Organizations

@0install

Block or report talex5

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. ocaml-multicore/eioocaml-multicore/eioPublic

    Effects-based direct-style IO for multicore OCaml

    OCaml 666 80

  2. cuekeepercuekeeperPublic

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

    OCaml 311 26

  3. mirage/qubes-mirage-firewallmirage/qubes-mirage-firewallPublic

    A Mirage firewall VM for QubesOS

    OCaml 229 29

  4. mirage/miragemirage/miragePublic

    MirageOS is a library operating system that constructs unikernels

    OCaml 2.8k 262

  5. mirage/capnp-rpcmirage/capnp-rpcPublic

    Cap'n Proto RPC implementation

    OCaml 110 21

  6. ocurrent/ocurrentocurrent/ocurrentPublic

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

    OCaml 148 39