rigille

Rígille S. B. Menezes's repositories

Market data visualization for Liberty Minecraft

Language:HTMLGPL-3.07 2 3

it deletes itself

Language:MakefileUnlicense6 20

My personal package collection

Language:CMIT3 30

Miscellaneous projects focused on correctness and (eventually) good documentation

Language:CoqMIT2 20

Advent of Code in Chez Scheme

Language:SchemeMIT1 20

Nix code to configure my devices

Language:Nix1 20

Get my neovim setup with a single command

Language:NixMIT020

código-fonte do meu blog

Language:SCSSGPL-3.0020

A minimal pure functional language based on self dependent types.

Language:JavaScript010

A modern proof language

Language:JavaScriptMIT010

A repl that remembers

Language:PythonMIT010

Language:HTML020