Skip to content
View yurrriq's full-sized avatar
🙉
I may be slow to respond.
🙉
I may be slow to respond.
242 followers · 662 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Highlights

Organizations

@sportradar @NixOS @ElectricWizardry @exercism @naptaker @lfex @quasiquoting @lfe-rebar3 @elli-lib @beam-http

Block or report yurrriq

Report abuse

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

Report abuse
yurrriq/README.md

trophy

GitHub Stats

Top Langs

Pinned Loading

  1. dotfiles dotfiles Public

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

    Nix 55 3

  2. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 23.6k 18.1k

  3. elli-lib/elli elli-lib/elli Public

    Simple, robust and performant Erlang web server

    Erlang 333 39

  4. idris-hackers/software-foundations idris-hackers/software-foundations Public

    Software Foundations in Idris

    Idris 457 35

  5. christian-public/Idris2-Erlang christian-public/Idris2-Erlang Public

    Erlang code generator for Idris 2

    Idris 145 6

  6. idris-lang/Idris-dev idris-lang/Idris-dev Public archive

    A Dependently Typed Functional Programming Language

    Haskell 3.5k 631