Skip to content
Block or report user

Report or block gvolpe

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Pro

Organizations

@paidy @LambdaTeamIO @SmartBackpacker

Pinned

  1. RabbitMQ stream-based client built on top of Fs2

    Scala 66 27

  2. Redis client built on top of Cats Effect, Fs2 and Lettuce

    Scala 50 10

  3. End-to-end tracing system for Http4s

    Scala 61 5

  4. Split Morphisms

    Haskell 7

  5. My NeoVim setup for Scala & Haskell development

    Vim script 14 2

  6. Dependent Types research in the Idris language

    Idris 2

2,576 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2019

Created a pull request in scalameta/metals that received 8 comments

Documenting coc.nvim as the recommended LSP client for Vim

closes #650 There are two things that I couldn't figured out yet so any help will be much appreciated: LSP logs at the bottom below the status bar…

+206 −57 8 comments
13 contributions in private repositories Apr 9 – Apr 22

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.