mtrsk

Marcos Benevides's repositories

nixos-config

🛠️ My NixOS configuration & dotfiles dumpster fire 🔥

Language:NixMIT16 20

Minicurso-Linux

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

Language:Nix7 20

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

Language:Jupyter NotebookMIT3 20

mtrsk.github.io

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

Language:Emacs LispGPL-3.03 20

interval.fs

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

Language:F#WTFPL2 10

no-bs

A NodeJS REST API, with no (bs) frameworks

Language:JavaScript1 20

Proof-Plaza

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

Language:CoqMIT1 40

RegexPlay

Readings from "A Play on Regular Expressions", 2010

Language:HaskellBSD-3-Clause1 20

jueves

It's a Telegram bot that tells users/groups whether today is jueves

Language:F#020

Regex-Play-Coq

Regex Play in Coq

Language:CoqGPL-3.0020

servers

My personal servers in different cloud providers, configured declaratively with Terraform + NixOS

Language:HCLWTFPL020

book

A textbook on informal homotopy type theory

Language:TeX010

coursebook

Open Source Introductory Systems Programming Textbook for the University of Illinois

Language:TeX010

emacs-latex-org-nix

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

Language:Nix020

FsToolkit.ErrorHandling

An opinionated F# Library for error handling

Language:F#MIT010

Giraffe

A native functional ASP.NET Core web framework for F# developers.

Language:F#Apache-2.0000

home-manager

Manage a user environment using Nix

Language:NixMIT020

Horatius

Part of an interview process with the .NET stack, done the functional (first) way.

Language:F#030

learning-spark

Learning some Apache Spark (and maybe some Scala)

Language:DockerfileGPL-3.0010

logic_and_proof

CMU Undergrad Course

Language:TeXApache-2.0020

mtrsk

Linguistic nuances inexpressible outside it's original language...

020

nixos-ami-building

Methods for building custom NixOS AMIs

Language:Shell010

nixos-azure-deploy

An updated Nix script, originally written by Cole Mickens (colemickens), to deploy NixOS virtual machines to the Azure Cloud.

Language:ShellMIT010

nixpkgs

Nix Packages collection

Language:NixMIT010

Organon

Dumping my brain on Emacs

Language:Emacs Lisp020

Programmierung

C, Datenstruktur & Systemprogrammierung

Language:CMIT020

scalata

Notes from the "Functional Programming with Scala" specialization on Coursera

Language:Scala010

SICP

Structure and Interpretation of Computer Programs

Language:Scheme020

spatula

A compiler/interpreter for the Silverware+ programming language written in Haskell

Language:HaskellBSD-3-Clause010

The-Rust-Path-To-Reason

Small programs to help me learn Rust

Language:Rust020