Skip to content
View jyp's full-sized avatar
153 followers · 0 following
  • University of Gothenburg
  • Göteborg, Sweden

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report jyp

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

  1. dante dante Public

    Emacs Lisp 389 51

  2. boon boon Public

    Ergonomic Command Mode for Emacs

    Emacs Lisp 321 34

  3. styx styx Public

    A nix-based Haskell project manager

    Haskell 160 17

  4. nano-Agda nano-Agda Public

    Tiny type-checker with dependent types

    Haskell 75 8

  5. attrap attrap Public

    ATtempt To Repair At Point (emacs flycheck extension)

    Emacs Lisp 42 7

  6. prettiest prettiest Public

    The Prettiest Printer

    Haskell 34 6