Skip to content
View tz18's full-sized avatar

Highlights

  • Pro

Block or report tz18

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 Loading

  1. interlockingmoderatorship interlockingmoderatorship Public

    I tried to graph reddit based on moderator overlap.

    1

  2. ECCtoECCA ECCtoECCA Public

    Implementation of a type-preserving compiler from Luo's ECC to an A-Normal form restricted subset called ECCA

    Coq 1 1

  3. Supybot-Polls Supybot-Polls Public

    Forked from ddan39/Supybot-Polls

    Supybot plugin for polls in channels

    Python

  4. Limnoria Limnoria Public

    Forked from progval/Limnoria

    A modified version of Supybot (an IRC bot) with translations (fr, fi, it, hu, de, ...), embedded web server, bug fixes, and several other enhancements and bug fixes

    Python

  5. goodeargame goodeargame Public

    A game where you guess the notes in a randomly generated tune, to get a better ear for music!

    Python

  6. SurgeGame SurgeGame Public

    It's a racing game! With spaceships!

    Game Maker Language