Pinned Repositories
emacs
My emacs config (as a nix flake)
functional-structures
my studies through functional implementations of common data-structures
js-compiler
Compilador de Javascript em C++
kind-mode
Kind-lang major mode for emacs
nesp
NES emulator in lisP
nix-in-rust
Nix bindings for Rust
nixchess
nixos
My personal devices' configuration in nix.
o-santi.github.io
verified-chess
Verified Chess Verifier
o-santi's Repositories
o-santi/nesp
NES emulator in lisP
o-santi/2048
Trabalho de computação 1 (CC)
o-santi/acesmbler
um simples assembler pra CES
o-santi/java_cc
repositorio para guardar os trabalhos em java de computação 2 (CC)