X Tutup
The Wayback Machine - https://web.archive.org/web/20210716223813/https://github.com/mtrsk
Skip to content
Avatar
🛠️
Tinkering
🛠️
Tinkering
88 followers · 173 following · 2.9k

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@NixOS @pug-ma @Lambda-MA @levi-ufma @lambdakorp
Block or Report

Block or report mtrsk

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.

Report abuse

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

Report abuse

Pinned

  1. pug-ma/PUGMA-bot

    Um bot para o Telegram do Python User Group - MA.

    Python 11 9

  2. NixOS/nixpkgs

    Nix Packages collection

    Nix 7.2k 6.4k

  3. Proof-Plaza

    Some studies of the Coq Proof Assistant. Includes notes about the Software Foundations series.

    Coq 1

  4. nixos-config

    🛠️ My NixOS configuration & dotfiles dumpster fire 🔥

    Nix 7 1

  5. Criptografia-com-SAGE-2017 Archived

    Códigos da Palestra sobre Introdução à Criptografia com Curvas Elípticas em SAGE para a XI Semana de Matemática UFMA 2017

    Jupyter Notebook 3 1

  6. emacs-latex-org-nix Template

    A template project with an environment for LaTeX + Nix + ORG

    Nix

129 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to mtrsk/nixos-config, mtrsk/scalata, mtrsk/mtrsk.github.io and 5 other repositories

Contribution activity

July 2021

Created 2 commits in 2 repositories
Created 1 repository
Opened 1 pull request in 1 repository
terraform-providers/terraform-provider-azurerm
1 merged
2 contributions in private repositories Jul 10 – Jul 15

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

X Tutup