Resumes generated using the GitHub informations

KISS NixOS configuration based on Flakes & flake-parts (supports macOS too)

A curated list of awesome functional programming jobs.

❄️ My dotfiles for NixOS and macOS with nix-darwin as a Nix flake.

General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions

My personal dotfiles… both to set up a new computer and to keep my dev environments synced.

Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

Random Data Generator for arbitrary data types

A Browser Extension for faster reading on ANY website!

Java Soundboard for Discord

Easy lecture slides made difficult with pandoc and beamer

Boost Note is a document driven project management tool that maximizes remote DevOps team velocity.

A K semantics of Tezos' Michelson language.

Script to remove Windows 10 bloatware.

Lista de bloqueio Anti-Nonio para Pi-Hole

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

Wrapping openvpn with stunnel

Lista de bloqueios para a plataforma Nónio

Tezos smart contract & dapp development toolkit

Pulseaudio profile for SteelSeries Arctis 7

Ocaml plugin for IntelliJ IDEA

Implementations of various type systems in OCaml.

📄 Awesome CV is LaTeX template for your outstanding job application

Travis CI and deployment service to build PDF from LaTeX document.

Versão NÃO oficial do modelo em LaTeX para a escrita de teses e dissertações da Universidade da Beira Interior (UBI), Portugal 🎓📘

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

A framework for data-flow analysis of a simple imperative programming language.

Educational implementation of monotone framework analysis (static analysis of computer programs)