Yan Mendes

ghcr.io/kings177/snapserver:latest

No description provided.

Temporary repository for Kind2's refactor based on HVM2

A massively parallel, optimal functional runtime in Rust

No description provided.

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

Kindelia: an efficient, secure cryptocomputer

chat based messaging and rollback state computer