Marcos Benevides's repositories
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 & Github Actions
interval.fs
An implementation of Allen's Interval Algebra, for .Net
emacs-latex-org-nix
A template project with an environment for LaTeX + Nix + Org-mode
Proof-Plaza
Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.
Regex-Play-Coq
Regex Play in Coq
coursebook
Open Source Introductory Systems Programming Textbook for the University of Illinois
FsToolkit.ErrorHandling
An opinionated F# Library for error handling
home-manager
Manage a user environment using Nix
learning-spark
Learning some Apache Spark (and maybe some Scala)
logic_and_proof
CMU Undergrad Course
lyceum
A MMO game written in Erlang
nixos-azure-deploy
An updated Nix script, originally written by Cole Mickens (colemickens), to deploy NixOS virtual machines to the Azure Cloud.
Programmierung
C, Datenstruktur & Systemprogrammierung
The-Rust-Path-To-Reason
Small programs to help me learn Rust