Você recebeu 6,708 estrelas em seus repositórios públicos.
Seus projetos foram bifurcados 432 vezes.
Você fez 2,000 contribuições no último ano.
Você programa em 13 linguagens diferentes.
Você tem 5,215 seguidores no GitHub.
Sua conta GitHub existe há 10 anos.
Teste como suas métricas afetariam seu GitScore
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Some handy AI scripts
Chat with GPT from the terminal, with the ability to execute shell scripts.