Skip to content
View mpmilano's full-sized avatar

Highlights

  • Pro

Organizations

@functional-art @Derecho-Project @hydro-project
Block or Report

Block or report mpmilano

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Popular repositories

  1. MixT MixT Public archive

    Prototype Mixed-consistency transaction implementation

    C++ 57 3

  2. mutils mutils Public

    Basic C++ template utilities I've written and come to rely on.

    C++ 3 2

  3. mutils-serialization mutils-serialization Public

    For converting basic objects to arrays of bytes, and vice-versa.

    C++ 3 4

  4. netkat-verify netkat-verify Public

    build for command-line interface to verify.

    OCaml 2

  5. mutils-tasks mutils-tasks Public

    Mostly thread and task pools

    C++ 2 2

  6. better-compiletime better-compiletime Public

    better compiletime, take 3

    C++ 1