NaoEhSavio

tiny-blockchain

Hvmon

High-Order Virtual Monsters is a Battle Showdown Game.

NaoEhSavioClass

Class

abstract-algorithm

Optimal evaluator of λ-calculus terms.

binance-rs

Rust Library for the Binance API

didactic-succotash

Functional-Benchmarks

Collection of benchmarks of functional programming languages and proof assistants.

Git-test

Teste Git

HOC

HVM

A massively parallel, optimal functional runtime in Rust

kind-language-server

pokemon-chart

Colorblind-friendly heatmaps of move effectiveness against pokemon

rust

twitter_clone

IINS-Lazy

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

Kindelia

Kindelia: an efficient, secure cryptocomputer

learning

Lotofacil

Jogando na Lotofácil utilizando rede neural.

markup

Determines which markup library to use to render a content file (e.g. README) on GitHub

NaoEhSavioKind

A modern proof language

NaoEhSavioWikind

Vast collection of Kind2 definitions

ok

rust-atomics-and-locks

Code examples, data structures, and links from my book, Rust Atomics and Locks.

vscode-kind-syntax

VSCode syntax highlight for Kind language