Skip to content
View RubenAstudillo's full-sized avatar
  • UTFSM
  • Chile
Block or Report

Block or report RubenAstudillo

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. data-forced data-forced Public

    Specify that lifted values were forced to WHNF or NF.

    Haskell 6

  2. rsi-break rsi-break Public

    Let you head remember that you hands need a break!

    Haskell 2

  3. MusicScroll MusicScroll Public

    Supply your tunes info without modifying or leaving your music player.

    Haskell 1

  4. ghc-mod ghc-mod Public

    Forked from DanielG/ghc-mod

    Happy Haskell programming for editors

    Haskell

  5. spacemacs spacemacs Public

    Forked from syl20bnr/spacemacs

    Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp

  6. spacemacs-agda spacemacs-agda Public

    Forked from liamoc/spacemacs-agda

    A little agda layer for spacemacs

    Emacs Lisp