Rígille S. B. Menezes

Get my neovim setup with a single command

A minimal pure functional language based on self dependent types.

A modern proof language

código-fonte do meu blog

Example app using rawdrawandroid as a submodule.

Verified Chess Verifier

Nix code to configure my devices

A fast, practical GPU rasterizer for fonts and vector graphics

Miscellaneous projects focused on correctness and (eventually) good documentation

Market data visualization for Liberty Minecraft

Refinement-Based Game Semantics

No description provided.

My personal package collection

A repl that remembers

Advent of Code in Chez Scheme

it deletes itself

No description provided.