Skip to content
View marcellop71's full-sized avatar
19 followers · 8 following
  • Rome, Italy

Achievements

Achievement: Starstruck

Achievements

Achievement: Starstruck

Highlights

  • Pro

Block or report marcellop71

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. redis-lean redis-lean Public

    Lean bindings for redis/hiredis

    Lean 7

  2. zlog-lean zlog-lean Public

    Lean bindings for HardySimpson/zlog

    Lean 1

  3. arrow-lean arrow-lean Public

    Using Arrow and Parquet from Lean

    C

  4. curl-lean curl-lean Public

    Lean bindings for libcurl

    Lean

  5. kafka-lean kafka-lean Public

    Lean bindings for librdkafka

    Lean

  6. libsodium-lean libsodium-lean Public

    Lean bindings for libsodium

    Lean