Discover @mtrsk Open Source projects

Marcos Benevides (@mtrsk)

mtrsk

Stars
43
Global Rank 379,327 (Top 14 %)
Followers 123
Following 289
Registered almost 9 years ago
Most used languages

Nix
38.5 %

Jupyter Notebook
15.4 %

C++
7.7 %

Coq 7.7 %

JavaScript
7.7 %

F#
7.7 %

TeX
7.7 %

Haskell
7.7 %
Location 🇧🇷 Brazil
Country Total Rank 9,430
Country Ranking

Nix
6

F#
21

Coq 24

Haskell
302

TeX
523

Jupyter Notebook
1,799

C++
6,001

nixos-config

🛠️ My NixOS configuration & dotfiles dumpster fire 🔥

Minicurso-Linux

(WIP) Minicurso de Linux/Unix, Shell Script e Vim (JIM - 2018)

mtrsk.github.io

My new blog, built with Org, Elisp, Emacs, Nix, Just & Github Actions

Criptografia-com-SAGE-2017

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

interval.fs

An implementation of Allen's Interval Algebra, for .Net

PropositionsAsTypes

Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.

exercism-shell

A nix-based environment to solve exercism in multiple languages

Proof-Plaza

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.

no-bs

A NodeJS REST API, with no (bs) frameworks

Internet-Magic-Money

(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.

Jupyter Notebook

RegexPlay

Readings from "A Play on Regular Expressions", 2010

duino

Playing with arduino in C++ (and maybe Rust?), platform.io and also Nix.

emacs-latex-org-nix

A template project with an environment for LaTeX + Nix + Org-mode