This is your work, valued

nao e o savio

Advanced
@naoeosavio

T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...

fixed-precision. Precise fixed-scale (8 decimal places) arithmetic for financial calculations.

5

Functional-Benchmarks. Collection of benchmarks of functional programming languages and proof assistants.

4

NaoEhSavioClass. Class

3

tiny-blockchain. Rust

3

kind-book. Software Foundations in Kind

3

Hvmon. High-Order Virtual Monsters is a Battle Showdown Game.

2

hvm-lang. Rust

2

rust-atomics-and-locks. Code examples, data structures, and links from my book, Rust Atomics and Locks.

2

Bend-Book.

2

typed-snapshot. Generate typed TypeScript snapshots (const/enum/union) to file.

2

lite-fp. Tiny, zero‑dependency FP helpers for TypeScript.

2

State-Machine. Game tick system

1

kindbook. C

1

awesome-bend.

1

uwuchat2. TypeScript

1

naoeosavio.

1

codocx. A ferramenta mais simples e fácil de usar para automatizar documentação de código

1

bend-lang-utils. Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language

1

Torus-Agent-Framework. A library for building Torus Agents with self-describing APIs.

1

HVM2. Rust

1

Kindelia. Kindelia: an efficient, secure cryptocomputer

1

kind-language-server. TypeScript

1

abstract-algorithm. Optimal evaluator of λ-calculus terms.

1

didactic-succotash. JavaScript

1

NaoEhSavioWikind. Vast collection of Kind2 definitions

1

rust. Rust

1

binance-rs. Rust Library for the Binance API

1

HVM. A massively parallel, optimal functional runtime in Rust

1

vscode-kind-syntax. VSCode syntax highlight for Kind language

1

pokemon-chart. Colorblind-friendly heatmaps of move effectiveness against pokemon

1

IINS-Lazy. A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

1

NaoEhSavioKind. A modern proof language

1

HOC. C

1