Leonardo Santiago

nix-forall. Nix bindings for all languages

emacs. My emacs config (as a nix flake)

functional-structures. my studies through functional implementations of common data-structures

verified-chess. Verified Chess Verifier

rocq_utf8. A formal implementation of a fast UTF-8 encoder and decoder

kind-mode. Kind-lang major mode for emacs

o-santi.github.io. TeX

nixchess. Rust

nesp. NES emulator in lisP

js-compiler. Compilador de Javascript em C++

nocargo. [alpha] Build Rust crates with Nix Build System.

nixos. My personal devices' configuration in nix.

hltv-stats. mini hltv database

py-hvm. Rust