Block or report user

Report or block taipan-snake

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. dotfiles

    CSS 4

  2. simple-start

    Simple home page for web browsers.

  3. souffle

    Forked from souffle-lang/souffle

    Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…


  4. lambdul

    Forked from azreika/lambdul

    Lambda calculus interpreter written in Java


  5. st

    A clone of with patches



    Forked from souffle-lang/



112 contributions in the last year

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

Contribution activity

December 2018

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