Block or report user

Report or block technicalguy

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust 33.2k 5.5k

  2. acs-category-theory-notes-2017

    Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.

    TeX 7 5

  3. fool2fish/dragon-book-exercise-answers

    Compilers Principles, Techniques, & Tools (purple dragon book) second edition exercise answers. 编译原理(紫龙书)第2版习题答案。

    HTML 2.8k 977

  4. theCART/

    Angry Gecko Website

    CSS 2

  5. blank-latex-template

    A template with stuff I always use, and a collection of useful stuff I sometime use


986 contributions in the last year

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

Contribution activity

January 2019

Created an issue in DaveDavenport/rofi that received 1 comment

Feature request: Window selector mode brings to current workspace

I often use rofi in combi mode with window first and then .desktop entries after that. This way I don't end up launching multiple instances of the …

1 comment
11 contributions in private repositories Jan 9 – Jan 14

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