❄️ My dotfiles for NixOS and macOS as a Nix flake. Neovim, Fish shell, Wezterm, etc.

General purpose Nix configuration for macOS / NixOS with starter templates + step-by-step guides ✨

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

Guide to using YubiKey for GnuPG and SSH

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

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)