mtrsk/Minicurso-Linux mtrsk/Minicurso-Linux

  • Stars
    star
    7
  • Rank 2,294,497 (Top 46 %)
  • Language
    Nix
  • Created almost 6 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mtrsk/Minicurso-Linux
github

mtrsk

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

nixos-config

🛠️ My NixOS configuration & dotfiles dumpster fire 🔥
Nix
17
star
2

mtrsk.github.io

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

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
3
star
4

interval.fs

An implementation of Allen's Interval Algebra, for .Net
F#
2
star
5

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.
TeX
2
star
6

exercism-shell

A nix-based environment to solve exercism in multiple languages
Nix
2
star
7

Proof-Plaza

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

no-bs

A NodeJS REST API, with no (bs) frameworks
JavaScript
1
star
9

Internet-Magic-Money

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

RegexPlay

Readings from "A Play on Regular Expressions", 2010
Haskell
1
star
11

duino

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

emacs-latex-org-nix

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