naoehsavio Goto Github PK

abstract-algorithm

Optimal evaluator of λ-calculus terms.

bend-book

bend-lang-utils

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

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

hvm-lang

hvm2

hvmon

High-Order Virtual Monsters is a Battle Showdown Game.

iins-lazy

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

kind-language-server

kindelia

Kindelia: an efficient, secure cryptocomputer

learn4elixir

Aprenda Elixir em 4 Pull Requests!

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

naoehsavioclass

Class

naoehsaviokind

A modern proof language

naoehsaviowikind

Vast collection of Kind2 definitions

ok

pokemon-chart

Colorblind-friendly heatmaps of move effectiveness against pokemon

rust

rust-atomics-and-locks

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

tiny-blockchain

twitter_clone

vscode-kind-syntax

VSCode syntax highlight for Kind language