Skip to content
Avatar
😷
I may be slow to respond.
😷
I may be slow to respond.
Block or Report

Block or report yurrriq

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.

Add an optional note:
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
yurrriq/README.md

GitHub Stats

Top Langs

Pinned

  1. dotfiles Public

    My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow

    Nix 35 4

  2. Nix Packages collection

    Nix 10.5k 8.5k

  3. Simple, robust and performant Erlang web server

    Erlang 274 34

  4. Software Foundations in Idris

    Idris 420 29

  5. Erlang code generator for Idris 2

    Idris 133 6

  6. A Dependently Typed Functional Programming Language

    Haskell 3.4k 662

390 contributions in the last year

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

Contribution activity

October 2022

Created 1 commit in 1 repository

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