Marcos Benevides's Projects
A textbook on informal homotopy type theory
Open Source Introductory Systems Programming Textbook for the University of Illinois
Códigos da Palestra sobre Introdução à Criptografia com Curvas Elípticas em SAGE para a XI Semana de Matemática UFMA 2017
Playing with arduino in C++ (and maybe Rust?), platform.io and also Nix.
A template project with an environment for LaTeX + Nix + Org-mode
A nix-based environment to solve exercism in multiple languages
An opinionated F# Library for error handling
A native functional ASP.NET Core web framework for F# developers.
Manage a user environment using Nix
Part of an interview process with the .NET stack, done the functional (first) way.
(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.
An implementation of Allen's Interval Algebra, for .Net
It's a Telegram bot that tells users/groups whether today is jueves
An ancient library with worthless code.
Learning some Apache Spark (and maybe some Scala)
CMU Undergrad Course
A MMO game written in Erlang
(WIP) Minicurso de Linux/Unix, Shell Script e Vim (JIM - 2018)
Linguistic nuances inexpressible outside it's original language...
My new blog, built with Org, Elisp, Emacs, Nix, Just & Github Actions
An updated Nix script, originally written by Cole Mickens (colemickens), to deploy NixOS virtual machines to the Azure Cloud.
🛠️ My NixOS configuration & dotfiles dumpster fire 🔥
Nix Packages collection
A NodeJS REST API, with no (bs) frameworks
C, Datenstruktur & Systemprogrammierung
Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.
Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.
Regex Play in Coq
Readings from "A Play on Regular Expressions", 2010
Notes from the "Functional Programming with Scala" specialization on Coursera