Discover @o-santi Open Source projects

Leonardo Santiago (@o-santi)

o-santi

Stars
44
Global Rank 373,242 (Top 13 %)
Followers 35
Following 23
Registered over 7 years ago
Most used languages

Python
25.0 %

Rust
25.0 %

C++
8.3 %

JavaScript
8.3 %

Emacs Lisp
8.3 %

Common Lisp
8.3 %

Nix
8.3 %

Coq 8.3 %

emacs

My emacs config (as a nix flake)

functional-structures

my studies through functional implementations of common data-structures

verified-chess

Verified Chess Verifier

kind-mode

Kind-lang major mode for emacs

krypto

Implementation of common Cryptographic functions in HVM for Kindelia

kirei

functional type-dependent (very simple) language

nixchess

js-compiler

Compilador de Javascript em C++

nesp

NES emulator in lisP

desemprego

the cool shit i do in my free time while i dont have a job

mixrank-product-interview

Mixrank Product Engineer Interview

py-hvm

hltv-stats

mini hltv database

AD

repositório para entrega de trabalhos de avaliação e desempenho (2023.2)