Skip to content


@NixOS @inspircd @ProjetPP @SoftwareHeritage @ircdocs @rust-fcp @InfectionClass @SrainApp
Block or Report

Block or report progval

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.

Report abuse

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

Report abuse


  1. Limnoria Public

    A robust, full-featured, and user/programmer-friendly Python IRC bot, with many existing plugins. Successor of the well-known Supybot.

    Python 563 168

  2. irctest Public

    Semi-automated conformance checking for IRC implementations (RFC1459/RFC2812, the "modern spec" by ircdocs, and IRCv3)

    Python 20 7

  3. An incomplete stackless interpreter of Python bytecode, written in Rust.

    Rust 63 9

  4. Infection Mod with a class system for TeeWorlds

    C++ 37 28

  5. A Python parser written in Rust using nom

    Rust 49 11

  6. matrix2051 Public

    A Matrix gateway for IRC: connect to Matrix from your favorite IRC client.

    Elixir 28 4

1,720 contributions in the last year

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

Contribution activity

August 2022

Opened 1 pull request in 1 repository

Created an issue in matrix-org/matrix-appservice-irc that received 1 comment

allowUnconnectedMatrixUsers does not prevent idle kicks on

Describe the bug A Matrix user was just kicked from a plumbed room I am in, despite allowUnconnectedMatrixUsers being true To Reproduce Unclear, bu…

1 comment
Opened 1 other issue in 1 repository

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