Skip to content




Block or Report

Block or report rvl

Block user

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

Report abuse

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

Report abuse


  1. Tour browser —

    Haskell 6

  2. FRP block game

    Haskell 15 4

  3. Oz Auth Haskell Implementation

    Haskell 6

  4. Haskell library to generate and verify "Fernet" HMAC-based authentication tokens.

    Haskell 7 4

  5. Generate nix expressions to fetch bower dependencies.

    Nix 5 6

  6. Rainwater gauge data collection script

    Python 1 1

2,865 contributions in the last year

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

Contribution activity

June 2021

Created 3 repositories

Created a pull request in input-output-hk/adrestia-multisig-coordination that received 10 comments

nix: Run yarn with nodejs_12.x and fix tool deps in the shell

The build was failing when some packages required nodejs ≥ 12. This is because yarn was built against nodejs 10 (the default nodejs version in nixp…

+2,586 −2,517 10 comments
Opened 9 other pull requests in 6 repositories
1 open 3 merged
1 open
1 open
1 open
1 open
1 open
Reviewed 32 pull requests in 9 repositories
input-output-hk/cardano-wallet 21 pull requests
input-output-hk/cardano-addresses 3 pull requests
input-output-hk/cardano-launcher 2 pull requests
input-output-hk/haskell.nix 1 pull request
input-output-hk/bech32 1 pull request
input-output-hk/adrestia-multisig-coordination 1 pull request
cardano-foundation/CIPs 1 pull request
input-output-hk/daedalus 1 pull request
input-output-hk/cardano-haskell 1 pull request

Created an issue in nix-community/home-manager that received 4 comments

htop meters are in wrong order

Issue description I tried out programs.htop with the example configuration: { config, ... }: { programs.htop = { enable = true; settings = { color_…

Opened 2 other issues in 2 repositories
1 open
1 closed

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